λ(x : Optional Natural) → x with ? = 2