Introducing WriterT (work with @massyl)