Proposal: Adding Kleisli composition to Control.Monad

[Neil Mitchell]

Hi

> However, it was pointed out that repeatM is next to useless, and it is
> traditional to use 'forever' for repeatM_ (see for example "Tackling the
> Awkward Squad", and http://haskell.org/haskellwiki/Roll_your_own_IRC_bot
>
> That being said, repeatM_ isn't too bad, should people prefer it.

If I had to guess what the monadic version of repeat was, I'd guess
repeatM_ before forever. Forever is a very overloaded word, repeat in
Haskell has exactly one concrete meaning agreed by everyone (since its
in the Prelude).

Thanks

Neil