3 ms·

The real mistake is Hoare not also offering a type for "na". "No value" and "not applicable" are entirely different cases...