Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- newtype ReaderT r f a = ReaderT { runReaderT :: r -> f a }
- (?) :: (x -> ReaderT r f a) -> r -> ReaderT x f a
- (?) k r = ReaderT (\x -> runReaderT (k x) r)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement