λ(x : T) → λ(y : U) → x