Subclasses of Monoid
