Re: Proposal: Adding Kleisli composition to Control.Monad

Donald Bruce Stewart wrote:

forever :: (Monad m) => m a -> m ()

This should be: forever :: (Monad m) => m a -> m b I agree with Conor both that this should really be in Applicative and also that it may be more convenient to keep it in Monad for the time being. If "Joined-Up Classes" http://hackage.haskell.org/trac/haskell-prime/ticket/113 is approved, 'forever' would then be one of the values to be generalised to Applicative. -- Ashley Yakeley