Cabalize, switch to monoid representation