In C++ that's the distinction between pointers and references (a reference cannot be null; creating a null reference is an undefined operation). Although it is

In C++ that's the distinction between pointers and references (a reference cannot be null; creating a null reference is an undefined operation). Although it is much more clunky than in languages with algebraic data types. Who doesn't love the clarity of algebraic data types ...