until -package:monad-loops -package:sparse-linear-algebra -package:prelude-compat -package:netwire package:simple-prompt

loop prompt until check