Transformers example: ReaderT, WriterT and StateT