<div dir="ltr">Hi Henning,<div><br></div><div>but with type signatures the errors do not occure.</div><div><br></div><div>My best guess for that one is that inferring the correct kinds for lifted data types is not done properly.</div><div><br></div><div>Best,<br>Jan</div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-11-02 18:20 GMT+00:00 Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Mon, 2 Nov 2015, Jan Bracker wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If I add arguments to my local definitions I get the following errors:<br>
<br>
Main.hs:27:3:<br>
    Couldn't match kind ‘*’ with ‘[*]’<br>
    When matching types<br>
      m0 :: * -> * -> *<br>
      State :: [*] -> * -> *<br>
</blockquote>
<br>
<br></span>
That sounds like a serious type mismatch that cannot simply be avoided by adding type signatures or type extensions.</blockquote></div><br></div>