标签： haskell types polymorphism type-inference monomorphism-restriction
为什么这个定义受单态性限制的影响？
z = \n -> n + 1
这不是：
z n = n + 1