until -package:numeric-prelude -package:streaming -package:util -package:foundation -package:selective -package:sparse-linear-algebra -package:dimensional -package:linear-base -package:conferer -package:numhask package:simple-prompt

loop prompt until check