ReaderT transformation for easier monadic composition.