λ(_ : X) → _