Open Gabriella439 opened 10 years ago
readOnly :: Monad m => ReaderT s m r -> StateT s m r readOnly readerT = StateT $ \s -> do r <- runReaderT readerT s return (r, s)