I agree that you want to require a correctly-constructed value. The entire point I'm making is that in languages with zero values, this is hard, because that ze

I agree that you want to require a correctly-constructed value. The entire point I'm making is that in languages with zero values, this is hard, because that zero value may not be valid for your domain. Languages with pervasive nullability effectively gives everything a zero value.