monoid

the Monoid typeclass