let pair x y = fun z -> z x y
let x1 = fun y -> pair y y in
  let x2 = fun y -> x1 (x1 y) in
    let x3 = fun y -> x2 (x2 y) in
      let x4 = fun y -> x3 (x3 y) in
        x4 (fun z -> z)