until -package:prelude-compat -package:base-prelude -package:monad-loops package:IfElse -is:exact

Negation of whileM: execute an action so long as the boolean returns false.