Proposal: Make Semigroup as a superclass of Monoid

[Henning Thielemann]

On Sun, 29 Mar 2015, Jeremy wrote:

> The proposal to make Semigroup a superclass of Monoid was discussed a while
> ago [1], and the conclusion was to "put this off until the dust has settled
> from the AMP and FT changes".

Btw. since Monoid is in the Prelude of GHC-7.10, that proposal would also 
imply that Semigroup will be moved to Prelude, right? If (<>) becomes the 
method of Semigroup, this would mean that (<>) is also exported by 
Prelude?