((((() (Global (f (: ((Lambda ((Variable x) (: ((Variable x) S)))) (-> (S S))))))) (Global (f (: ((Lambda ((App ((Variable x) (Variable y))) (: ((Variable y) S)))) (-> ((Cons (S S)) S))))))) (Global (f (: ((Lambda ((App ((App ((Variable x) (Variable y))) (Variable z))) (: ((Variable z) S)))) (-> ((Cons ((Cons (S S)) S)) S))))))) (GExpr (: ((App ((: ((Variable f) (And ((And ((-> (S S)) (-> ((Cons (S S)) S)))) (-> ((Cons ((Cons (S S)) S)) S)))))) (: ((App ((: ((Literal 1) Atom)) (: ((Literal 2) Atom)))) (Cons (Atom Atom)))))) S))))
