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

[Henning Thielemann]

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.