Added Reader monad.