Proposal: Make Semigroup as a superclass of Monoid

[David Feuer]

And to forestall the weirdness we ran into with <*> vs. ap, I think GHC
7.12 should give multi-page flashing colored warnings when it sees a
Semigroup instance whose definition calls mappend or the non-semigroup
version of <>.
On Mar 29, 2015 11:42 AM, "Herbert Valerio Riedel" <hvr at gnu.org> wrote:

> On 2015-03-29 at 17:23:19 +0200, David Feuer wrote:
> > I guess I should get a dog in the fight—I think <> should be the
> Semigroup
> > method.
>
> +1
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150329/be80ba77/attachment.html>