This branch adds the well-known ReaderT and WriterT monad transformers for expressing computations with an environment and an appendable output, respectively. The corresponding specializations to Identity, Reader and Writer, are provided as well.