until -package:numeric-prelude -package:base-prelude -package:hosc -package:numhask -package:streaming -package:extra -package:xmonad-contrib -package:conferer -package:IfElse -package:probability package:protolude

until p f yields the result of applying f until p holds.