Monoid

docs