let f := lam g -> lam x -> g x in
let p1 := lam y -> < y , 1 > in
let p2 := lam z -> < z , 2 > in
< < f p1 10 , f p1 11 > , f p2 20 >