Proposal: Adding Kleisli composition to Control.Monad

[Ashley Yakeley]

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