小编das*_*gom的帖子

有g = (. not)。

函数最一般的类型g是

g :: (Bool -> a) -> Bool -> a

但是我不知道如何考虑构图(.)功能。

为什么不 h :: (a -> Bool) -> a -> Bool呢？