更改功能类型的固定性（ - ＆gt;）？

Question

进行一些类型级别的计算我已经到了一点，我想改变->的固定性，因为它不能与固定性0的左关联类型运算符混合。我知道它没有'与TypeOperators扩展程序和infixr 1 ->完全一致，因为它只返回错误parse error on input ‘->’。

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

Answer 1

您可以使用同义词：

{-# LANGUAGE TypeOperators #-}

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