<div dir="ltr">You may need to study skolems / rank-N types. The exact scope of the "IO" is inside the Wrapper, and nowhere else; so using it in let at all allows it to be visible outside its scope. With the case expression, it can be visible anywhere in the case alternative that pattern matches the Wrapper without it necessarily escaping the scope (you could explicitly leak it, but it will raise the same error about it escaping in that case).<div><br></div><div>GADTs are a way to get this same case matchung behavior, but it still doesn't help you with this; you are asking that the compiler ignore the rank of the type variable and make it visible outside its scope so that you can use let instead of case, and ghc will not let you do this.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jul 10, 2019 at 11:57 AM Lana Black <lanablack@amok.cc> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">A followup question. What is the reason case and let expressions are <br>
treated differently in this case? I can see the error message saying <br>
about the type variable escaping its scope, but I don't understand how <br>
exactly this can happen with let.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>