sketchmap: made monoid modular