数据构造函数

Question

是否可以在Haskell中声明数据构造函数的固定性。例如，给定：

data A = (>>>) A A

我想宣布

infixl 4 >>>

查看the data type extensions文档，似乎只能声明类型构造函数的固定性。但即便如此，至少在我尝试的方式似乎也不起作用：

infixl 7 A
data A = (>>>) A A

这可以完成吗？

Answer 1

你可以这样做，只是，中缀构造函数必须始终以冒号开头。

infixl 7 :>>>
data A = A :>>> A