[Haskell-cafe] Why does disambiguation in RebindableSyntax sometimes requires type signatures?
lemming at henning-thielemann.de
Mon Nov 2 18:20:25 UTC 2015
On Mon, 2 Nov 2015, Jan Bracker wrote:
> If I add arguments to my local definitions I get the following errors:
> 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.
More information about the Haskell-Cafe