λ(_ : A) → b