: (de mkInc (I @Max) (curry (I @Max) () (unless (= I @Max) (inc 'I) ) ) ) -> mkInc : : : (def 'f (mkInc 0)) -> f : (def 'g (mkInc 1000)) -> g : : : (pp 'f) (de f NIL (job '((I . 0)) (unless (= I NIL) (inc 'I)) ) ) -> f : (pp 'g) (de g NIL (job '((I . 1000)) (unless (= I NIL) (inc 'I)) ) ) -> g : : : (f) -> 1 : (f) -> 2 : (g) -> 1001 : (g) -> 1002 : (f) -> 3