Comment by Terretta

19 hours ago

The real mistake is Hoare not also offering a type for "na".

"No value" and "not applicable" are entirely different cases...