examples with monoids