Re: Proposal: add ifM and whenM to Control.Monad

Mario Pastorelli 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