Any language that has null, including C++, does not fall into the category of languages with expressive type systems. As soon as you have proper sum types the n

Any language that has null, including C++, does not fall into the category of languages with expressive type systems. As soon as you have proper sum types the null issue goes away + the whole big world of working with ADTs open up.