Data.Monoid.WithSemigroup
class
Monoid'
m