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

[Marcin Mrotek]

Hello,

Have a look at:
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/other-type-extensions.html#scoped-type-variables

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151028/bab9ccc2/attachment.html>