until -package:monad-loops -package:LambdaHack package:IfElse

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