(\ pair fst snd .

    fst (pair a b)

    -- Should reduce to a
)

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

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

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