Monoid hijinks