Advertisement
Guest User

Untitled

a guest
Aug 23rd, 2019
89
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.15 KB | None | 0 0
  1. newtype ReaderT r f a = ReaderT { runReaderT :: r -> f a }
  2.  
  3. (?) :: (x -> ReaderT r f a) -> r -> ReaderT x f a
  4. (?) k r = ReaderT (\x -> runReaderT (k x) r)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement