until -package:numeric-prelude -package:elerea -package:snap-core -package:monad-loops package:IfElse

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