let
compile = pred empty