Whoops, sorry for the noise. Those bullet points were the outline of some notes I&#39;m putting together.<div><div><br></div><div>-- Kim-Ee<br>
<br><br><div class="gmail_quote">On Mon, Nov 26, 2012 at 3:33 PM, Kim-Ee Yeoh <span dir="ltr">&lt;<a href="mailto:ky3@atamo.com" target="_blank">ky3@atamo.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">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>
<div class="gmail_quote">
<div class="im">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>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><font color="#888888"><br></font></span></blockquote><div><br></div></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>

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