Functor instance of ReaderT

Henning Thielemann lemming at henning-thielemann.de
Tue Aug 5 08:19:59 EDT 2008


The Functor instance of ReaderT has the header:
  Monad m => Functor (ReaderT r m)

I thought (Functor m) must be the appropriate constraint.


More information about the Libraries mailing list