Skip to content

Instantly share code, notes, and snippets.

@tonymorris
Created August 12, 2019 07:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tonymorris/ffbff43ab8459ee7e56d9486e9eaaa5e to your computer and use it in GitHub Desktop.
Save tonymorris/ffbff43ab8459ee7e56d9486e9eaaa5e to your computer and use it in GitHub Desktop.
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)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment