> Just let it be null everywhere, and if it's null somewhere it shouldn't be, the program throws an error--like it should, because there's an error.

Optionals everywhere makes that explicit, vs. something implicit that you can forget.