> 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?

> 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 https://en.wikipedia.org/wiki/Unit_type, your question "which instance is it" seems equivalent to asking Python "but which None instance is it?"