λ(x : A) → λ(_ : B) → x