小编use*_*769的帖子

我正在学习哈斯克尔.有人可以解释这两种类型是如何推断的,Num(a - > a)是什么意思？

liftM2 (==) id :: Eq a => (a -> a) -> a -> Bool


(\x->x+1) id :: Num (a -> a) => a -> a