until -package:monad-loops -package:utility-ht -package:linear-base -package:dunai -package:singletons-base package:rebase
until p f yields the result of applying
f
until
p holds.
Keep running an effectful computation until it returns a
Right value, collecting the Left's using a supplied
Monoid instance.