drop unneeded monoid