On Mon, Nov 26, 2012 at 3:17 PM, Christopher Howard <span dir="ltr">&lt;<a href="mailto:christopher.howard@frigidcode.com" target="_blank">christopher.howard@frigidcode.com</a>&gt;</span> wrote:<br><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Beautiful explanation. The clouds are starting to clear. In particular,</div>
previously I did not understand that 1) parentheses are in all types but<br>
are omitted for readability when possible, and 2) when an argument is<br>
supplied to a function it unifies the supplied parameter type with the<br>
argument type. Knowing this makes a huge difference in looking at these<br>
transformations.<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>(1) parens are everywhere, some of them you don&#39;t see because of default associativity</div><div>(2) type-inferencing unification is utterly opaque and mysterious</div>

<div><br></div><div><br clear="all">-- Kim-Ee<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888">
--<br>
<a href="http://frigidcode.com" target="_blank">frigidcode.com</a><br>
<br>
</font></span><br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br>