λ(x : T) -> y