Algebra.Monoid

class C a