阅读类型签名：类型构造函数＆amp;功能优先

Question

上下文

makeAff ∷ ∀ eff a. ((Either Error a → Eff eff Unit) → Eff eff (Canceler eff)) → Aff eff a

https://github.com/slamdata/purescript-aff/blob/master/src/Control/Monad/Aff.purs#L365

问题

Either Error a → Eff eff Unit

这应该是......

1. Either或Error
的a → Eff eff Unit
2. 一个采用Either Error a并返回Eff eff Unit
的函数

→是否具有某种类型的中缀优先级？

Answer 1

应用程序（空白）是Haskell中最高优先级的“运算符”，而->是最低的。