Proposal #3339: Add (+>) as a synonym for mappend

Yitzchak Gale gale at
Mon Aug 15 07:28:41 CEST 2011

Conor McBride wrote:
> I don't know if it's likely to be implemented in GHC anytime soon,..
> So things are looking up. It should soon be technically feasible to
> separate the issues of whether the Monoid operator should be (<>) and
> whether it should actually live in a Semigroup superclass...

Nice. But will it be happening soon, or not? And how soon is

It looks like Johan will soon be committing a disruptive change
that will break many packages. Is it necessary for the semigroups
package to change the name of <> in order to make it
possible to fix the broken packages in a reasonable way, or will this
better facility likely become available within approximately the same
time frame as the breaking change?


More information about the Libraries mailing list