> you know its type, you know its complete value, but you don't know which instance it is.

Is it an incoherent view to consider there to only be one instance? I understand Rust considers () its "unit type" a ZST.

Reading https://en.wikipedia.org/wiki/Unit_type, your question "which instance is it" seems equivalent to asking Python "but which None instance is it?"