<div dir="ltr">On Thu, Jan 7, 2016 at 1:39 PM, Andres Loeh <span dir="ltr"><<a href="mailto:mail@andres-loeh.de" target="_blank">mail@andres-loeh.de</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I find it particularly confusing that GHCi prints the types of c and d<br>
in exactly the same way, yet treats explicit type application on them<br>
differently.<br></blockquote><div><br></div><div>Try with :set -fprint-explicit-foralls. Maybe it should be the default when TypeApplications is enabled?<br><br></div><div>Regards,<br></div><div>Reid Barton<br></div></div></div></div>