Err, sorry, yes, pretend I said “the tuple (1,2,3)”. Regarding in-memory representations, the whole point to using values is that you don't care about the repr

Err, sorry, yes, pretend I said “the tuple (1,2,3)”. Regarding in-memory representations, the whole point to using values is that you don't care about the representation. A value may be represented in a myriad different ways, but from within the language (as opposed to, say, using a memory debugger), you can't observe the difference. If you're allowed to probe differences between two representations of the same value, the value abstraction is leaky.