# pair
pair = \ a b p . p a b
fst = \ p . p \ a b . a
snd = \ p . p \ a b . b
curry = \ f a b . f (pair a b)
uncurry = \ f p . f (fst p) (snd p)
swap = \p . pair (snd p) (fst p)
first = \f p . pair (f (fst p)) (snd p)
second = \ f p . pair (fst p) (f (snd p))