Implement Semigroup as a superclass of Monoid Proposal (Phase 2)
More details in prime:Libraries/Proposals/SemigroupMonoid
For more recent details about phase 2, see https://groups.google.com/forum/#!topic/haskell-core-libraries/PyxpE2ebS9Q
For the previous phase1, see #10365 (closed)