Implemented_Monoid

Classes