more exercises with Monoids