29 Mar
2015
29 Mar
'15
3:14 p.m.
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?