monoid

not defined yet