对不起，一个关于Haskell的新手问题......
使用中缀符号作为类型构造函数我该怎么办？我找到了以下代码，但ghc和ghci抱怨“意外类型`〜＆gt;'其中的类型变量“...
class Category (~>) where
(.) :: (a ~> b) -> (b ~> c) -> (a ~> c)
id :: a ~> a
如何做到这一点？非常感谢提前！
答案 0 :(得分：6)
截至GHC 7.6，all TypeOperators are always constructors。我不确定为什么会这样，但我猜这个突破性的改变是为了避免破坏旧的代码。 More info in the mailing list.
答案 1 :(得分：0)
中缀类型构造函数需要以:开头。尝试重写代码以使用:~>
http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/data-type-extensions.html