Package Implemented_Monoid