monoid sample