Proposal: Add Data.Semigroup to base, as a superclass of Monoid

[Gabriel Gonzalez]

-1

I think types that lack an empty element are a misfeature.  They usually
end up contaminating everything they touch, which is why semigroups forms
an entire parallel ecosystem of its own.  This is a very slippery slope
that won't end with the addition of `Data.Semigroup` and once it is in it
will be impossible to take it out.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130611/1c2f0c6e/attachment.htm>