在haskell中，做什么：+：在数据类型定义中意味着什么？

Question

这是新数据类型的定义：

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

什么：+：在这种类型定义中意味着什么？

Answer 1

它是以中缀形式编写的数据构造函数。如果操作符以:开头，则可以将其作为构造函数。