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