(\ pair fst snd .

    fst (snd (pair (pair a b) (pair c d)))

    -- Should reduce to c
)

-- pair
(\ x y f . f x y)

-- fst
(\ p . p (\ x y . x))

-- snd
(\ p . p (\ x y . y))