Proposal: add ifM and whenM to Control.Monad

[David Mazieres]

Mario Pastorelli <pastorelli.mario at gmail.com> writes:

> Only the name 'mif' respects the rules with this type. The more generic 
> version of 'ifM' is
>
> ifM :: Monad m => m Bool -> a -> a -> a
>
> and I don't think there is a name conversion for this kind of function 
> in Control.Monad.

Well, if you could actually implement the above function, convention
would likely dictate that it be called "unsafeIf".

David