Maybe the monoid