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

[Thomas Schilling]

On 14 August 2011 14:43, Yitzchak Gale <gale at sefer.org> wrote:
> Johan Tibell wrote:
>>> This is a call for consensus. Do we agree to add
>>>     infixr 6 <>
>>>     (<>) :: Monoid m => m -> m -> m
>>>     (<>) = mappend
>>>
>>> If so I have a patch for base and GHC ready.
>
> NO please don't do that. It would break all packages
> that do, or soon will, use the semigroups
> package.
>
> That proposal is no longer relevant. Every Monoid
> instance should now be made an instance of
> Semigroup. Anyone who wants to use <> should
> import it from there.

So, NOTHING would break if you made made SemiGroup a superclass of Monoid?

-- 
Push the envelope. Watch it bend.