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