No, it implies that you can use your type system to surface the fact that a variable may have no values.