相关疑难解决方法(0)

在Haskell 98报告中,我发现了这个:

上面给出了Haskell类型表达式的语法.正如使用数据构造函数构建数据值一样,类型值也是从类型构造函数构建的.与数据构造函数一样,类型构造函数的名称以大写字母开头.与数据构造函数不同,不允许使用中缀类型构造函数(( - >)除外).

没有给出为什么不允许使用中缀类型构造函数的原因.在Agda等中,中缀型构造函数是常见的.为什么不在Haskell？