Re: [GHC] #10365: Make Semigroup as a superclass of Monoid