Reader writer state (Work In Progress)

(just for comment)
After skimming the [wikibooks chapter on Monad Transformers](https://en.wikibooks.org/wiki/Haskell/Monad_transformers) I think I'll switch all to inner-monad. As you suggest, transformers wraps a monad blending the effects of that monad and another.