How'd you get here? It's exactly as type-safe as the unwrapped hash table, which is admittedly not especially type-safe, and it's fully unambiguous.
Yes.
> and it's fully unambiguous.
No, you have any random value flagged as not present (in fact you can forget about or ignore the flag entirely), and no clue if that means anything.
How'd you get here? It's exactly as type-safe as the unwrapped hash table, which is admittedly not especially type-safe, and it's fully unambiguous.