λ(_ : T) → x