monoid: cleanup
monoids: refactoring
monoids: removed redundant functions