until -package:numeric-prelude -package:base-prelude -package:hosc -is:exact -package:free package:IfElse

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