writer example, with lists or monoids