Proposal #3339: Add (+>) as a synonym for mappend
lemming at henning-thielemann.de
Thu Sep 24 19:16:31 EDT 2009
On Thu, 17 Sep 2009, Ross Paterson wrote:
> This proposal seems to have got stuck. Everyone wants an infix operator,
> but we can't agree what it should be.
> I prefer using a new operator instead of generalizing ++ (or +, *, &&
> or ||), because I think that a monoid operation is so abstract that it
> needs a name that doesn't suggest one of the special cases. (I like <>)
'<>' looks like "inequality" in other languages. Apart from that, the
symbol looks fine to me, too.
More information about the Libraries