Proposal: Make Semigroup as a superclass of Monoid

[Alexander Berntsen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

+1.

P.S.
Another rationale (that tends to sway me) is that this is The Right
Thing. :)
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iF4EAREIAAYFAlUpFtMACgkQRtClrXBQc7U4qwEAgedg673GwrLr6U9vQ49cq4ne
Gr7AYex93vevJNi04XsA/2KsAoXJMPfYgV7D78ZdBt2PAJys5mZrckTsN0tB6Oja
=AHA4
-----END PGP SIGNATURE-----