transformers versus mtl

Ross Paterson ross at
Wed Mar 25 04:59:00 EDT 2009

On Tue, Mar 24, 2009 at 08:30:57PM -0500, Antoine Latter wrote:
> As long as we're on the topic of class constraints, is there any
> reason that the Monad instance for ContT m has a class constraint on
> the type of 'm'?  I'm pretty sure we can lose it, as well as the
> similar class constraint on the instance of MonadCont.

I've now removed these constraints from the development versions of
transformers, monads-fd and monads-tf.

More information about the Libraries mailing list