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

Question

对不起,关于Haskell的新手问题......

使用中缀符号作为类型构造函数我该怎么办？我找到了下面这段代码,但ghc和ghci抱怨"意外类型`〜>'其中的类型变量"...

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

如何才能做到这一点？非常感谢提前!

Answer 1

从GHC 7.6开始,所有人TypeOperators都是构造者.我不确定为什么会这样,但我猜这个突破性的改变是为了避免破坏旧的代码.邮件列表中的更多信息.