λ(x : A) → x