The languages that add "optional" or "nullable" support into core
language win the opportunity to design it in diagnosable and
optimizable manner.
The library solution like 'std::optional' of C++ has its inefficiency
inbuilt. For example 'optional::value_or'. It can't leave its argument
unevaluated when this has value and so it is innately inefficient.
People have to use 'some_optional ? *some_optional : argument()'
instead of 'some_optional.value_or(argument())' always.