#monoid