Reader writer state (Work In Progress)

(just for comment)
outer-monad? I think inner-monad is more consistent

```clojure
(some-outer-monad-transformer some-inner-monad)
```
I think that semantically transformer wraps a monad...