First version of reader monad.