module ReaderT where

newtype ReaderT r m a = ReaderT { runReaderT :: r -> m a }