(\ pair fst snd .

    snd (pair a b)

    -- Should reduce to b
)

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

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

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