<div class="gmail_quote">On Tue, Jun 30, 2009 at 3:56 PM, Ross Paterson <span dir="ltr">&lt;<a href="mailto:ross@soi.city.ac.uk">ross@soi.city.ac.uk</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Tue, Jun 30, 2009 at 03:39:39PM -0700, John Meacham wrote:<br>
&gt; (+&gt;) seems to imply to me that the operator is non-associative.<br>
<br>
</div>It does seem to imply some asymmetry between the arguments.<br>
<div class="im"></div></blockquote><div><br>Well, the canonical instance of Monoid is to mappend over lists, where it doesn&#39;t commute, so I think that the pointiness of the operator makes a reasonable kind of sense. <br>
</div></div>