?续
一元风格
类型
类型
Cont(续)
c(c)
一
= (
一
->
c(c)
) ->
c(c)
描述
Cont(续)
用于缩短延续样式组合子的类型签名。
漏洞
可能应该删除此类型的同义词,因为它更容易混淆
而不是帮助。