Re: Proposal: Add Data.Semigroup to base, as a superclass of Monoid