changes for Set, Magma, Monoid, Group...