test = let pair = \x y z -> z x y in let x1 = \ y -> pair y y in let x2 = \ y -> x1 (x1 y) in let x3 = \ y -> x2 (x2 y) in let x4 = \ y -> x3 (x3 y) in let x5 = \ y -> x4 (x4 y) in x5 (\ y -> y)