5 Aug
2008
5 Aug
'08
8:19 a.m.
The Functor instance of ReaderT has the header: Monad m => Functor (ReaderT r m) I thought (Functor m) must be the appropriate constraint.