monoid_object