monoids: tinkering