λ(_ : A) → _