ReaderT Applicative

Contents
  • Partial application
  • Functor constraint
  • Applicative constraint
  • Solution

Your assignment is to write the Functor and Applicative instances for the following type:

newtype ReaderT env f a = ReaderT (env -> f a)

Sign up for access to the full page, plus the complete archive and all the latest content.