Proposal: Make Semigroup as a superclass of Monoid

[Herbert Valerio Riedel]

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