Extract Semigroup trait from Monoid