Morphism Group -> Monoid via encoding