Re: [Haskell-cafe] No warn on type in expression?

Hello, Have a look at: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/other-type-e... TL;DR - pattern type signatures are not the same kind of an animal that declaration signatures are. This kind of an animal has already bitten me in the bottom, so I'm glad I can share the insight :) Best regards, Marcin Mrotek