データコンストラクタの固定宣言

Question

Haskellのデータコンストラクタの固定を宣言することは可能ですか？例えば、与えられた：

data A = (>>>) A A 

を私は

infixl 4 >>> 

は1だけ型コンストラクタのための固定性を宣言することができそうですthe data type extensionsのドキュメントを見てみると宣言したいと思います。しかし、少なくとも私が試した方法では、それは動作していないようです：

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

これはまったくできますか？

Answer 1

これを行うことができます。ただ、インミックスのコンストラクタは常にコロンで始まる必要があります。

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