until -package:numeric-prelude -package:base-prelude -package:hosc -package:numhask -package:snap-core -package:basic-prelude -package:sparse-linear-algebra -package:utility-ht -package:termonad -package:scalpel package:IfElse

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