#51: The type of evalContT should be generalized

concrete functor and monad transformers

#51The type of evalContT should be generalized

Now that Applicative has been a superclass of Monad for a while, I think it's time to update the type of evalContT. Currently, it's

evalContT :: Monad m => ContT r m r -> m r

but it works just fine with

evalContT :: Applicative m => ContT r m r -> m r

Ross Paterson Thu Mar 22 18:07:49 UTC 2018
That would mean bumping the base dependency to 4.8. I'm not sure.
ocramz Fri Jul 9 23:22:31 UTC 2021
Perhaps guarding the constraint with a bit of CPP (i.e. newer base versions would use Applicative) would help everyone?