Re: [GHC] #14191: Implement Semigroup as a superclass of Monoid Proposal (Phase 2)