(def pair (lam (a b f) (f a b)))

(def fst (lam p (p (lam ( a b) a))))
(def snd (lam p (p (lam ( a b) b))))

(fst (snd (pair 1 (pair 2 0))))
