adding composing monoids exercise (including bag - without Monoids)