25 Mar
2009
25 Mar
'09
4:59 a.m.
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.