符号名称作为类型构造函数

Question

对不起，一个关于Haskell的新手问题......

使用中缀符号作为类型构造函数我该怎么办？我找到了以下代码，但ghc和ghci抱怨“意外类型`〜＆gt;'其中的类型变量“...

class Category (~>) where
(.) :: (a ~> b) -> (b ~> c) -> (a ~> c)
id  :: a ~> a

如何做到这一点？非常感谢提前！

Answer 1

截至GHC 7.6，all TypeOperators are always constructors。我不确定为什么会这样，但我猜这个突破性的改变是为了避免破坏旧的代码。 More info in the mailing list.

Answer 2

中缀类型构造函数需要以:开头。尝试重写代码以使用:~>

http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/data-type-extensions.html