until -package:monad-loops -package:utility-ht -package:linear-base -package:dunai -package:basic-prelude 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.