haskell - Haskellでは、:+:はデータ型定義で何を意味しますか?

Question

これは新しいデータ型の定義です:

data Total a = Total a :+: Total a 
              |...

この型定義で :+: はどういう意味ですか?

Answer 1

これは、中置形式で記述されたデータコンストラクターです。で始まる場合は、コンストラクターとして演算子を使用できます:。