until -package:numeric-prelude -package:base-prelude -is:exact -package:numhask -package:LambdaHack package:snap-core