30 Jun
2009
30 Jun
'09
7:17 p.m.
On Tue, Jun 30, 2009 at 3:56 PM, Ross Paterson
On Tue, Jun 30, 2009 at 03:39:39PM -0700, John Meacham wrote:
(+>) seems to imply to me that the operator is non-associative.
It does seem to imply some asymmetry between the arguments.
Well, the canonical instance of Monoid is to mappend over lists, where it doesn't commute, so I think that the pointiness of the operator makes a reasonable kind of sense.