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