更改功能类型的固定性( - >)？

Question

做一些类型级计算,我走到一个地步,我想改变的固定性->,因为它不能与固定性0的左联型运营商,我知道它不与工作彻底混合TypeOperators延伸和infixr 1 ->,因为它只返回错误parse error on input ‘->’.

是否有任何扩展或其他方法来修改函数类型运算符的固定性？

Answer 1

你可以做一个同义词:

{-# LANGUAGE TypeOperators #-}

infixr 1 ~>
type (~>) = (->)