Sure, this is a common pattern. But the name is terrible, and it's not clear to me that the functionality is a useful generalization. Why not advocate for whenM instead?

whenM :: Monad m => m Bool -> m () -> m ()