until -package:monad-loops -package:sparse-linear-algebra -is:exact package:IfElse

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