14 Aug
2011
14 Aug
'11
1:46 p.m.
On 14 August 2011 14:43, Yitzchak Gale
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.