:: Monad m => m Bool -> m () -> m () package:simple-cmd

Like when, but where the test can be monadic.