until -package:numeric-prelude -package:streaming -package:util -package:scalpel-core -package:monad-loops -is:exact package:extra

Keep running an operation until it becomes a Just, then return the value inside the Just as the result of the overall loop.