:: Monad m => m Bool -> m () -> m () package:verset

Like unless, but where the test can be monadic.
Like when, but where the test can be monadic.