Re: [Haskell-cafe] Why does disambiguation in RebindableSyntax sometimes requires type signatures?

On Mon, 2 Nov 2015, Jan Bracker wrote:

If I add arguments to my local definitions I get the following errors:

Main.hs:27:3:     Couldn't match kind ‘*’ with ‘[*]’     When matching types       m0 :: * -> * -> *       State :: [*] -> * -> *

That sounds like a serious type mismatch that cannot simply be avoided by adding type signatures or type extensions.