until -package:monad-loops package:distribution-opensuse

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