理解Haskell类型的问题

理解Haskell类型的问题