And so, what it is if it’s not math?
Not really. Flatten tuples or the one built from pairs are isomorphic, and that’s all we need to know if we want to reason about their denotation. But, from an operational point of view (space and time consumption), one representation could be better than the other.