我理解这(->) a是一种更高阶的类型* -> *,当应用于类型参数时b会给出类型a -> b
我可以写一种类型* -> *,当应用时c会给出a -> b -> c？
如果没有,为什么不呢？也许使用一些语言扩展和forall？
这将让我编写Functor和Applicative(以及其他类)的实例,其中的函数结构是" a -> b ->",如:
(<*>) :: Applicative t => t (c -> d) -> t c -> t d
(<*>) :: (a -> b -> c -> d) -> (a -> b -> c) -> a -> b -> d
这对于二进制(curried)函数的组合器很有用.
NB.也许这是相关类型的Functors和Applicative(* - >*) - >*但我不确定,因为它超出了我的头:-)