On Tue, Jun 30, 2009 at 3:56 PM, Ross Paterson <r...@soi.city.ac.uk> wrote:
> 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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe