Reader monad.