<div class="gmail_quote">On Tue, Jun 30, 2009 at 9:50 AM, David Leimbach <span dir="ltr">&lt;<a href="mailto:leimy2k@gmail.com">leimy2k@gmail.com</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;">
I actually worry that this will make people think, more incorrectly, that Monoids are about appending stuff only.<div></div></blockquote><div><br>I think that adding a graphical operator as a synonym for mappend would actually help to address that, since the magic word &quot;append&quot; would no longer be nearly as common in source code, and that textual name certainly is (unhelpfully) suggestive of a specific semantics.<br>
</div></div>