A Tuple is a “finite ordered list” https://en.wikipedia.org/wiki/Tuple
An Ordered Pair is a pair of objects where the order of the pair matters. https://en.wikipedia.org/wiki/Ordered_pair
The way Tuple is used in PS seems to be an ordered pair. Why are we using the term Tuple when we should be using OrderedPair or Couple?
I think Tuple is appropriate because we use it inductively to define tuples with any number of elements (see Data.Tuple.Nested).
Looks like nested ordered pairs but it is similar
I would argue it goes beyond similar, it really is the exact same thing - the Wikipedia page you linked describes how a common way of defining n-tuples is to use nested ordered pairs.