λ(x : T) → y