I have a foggy memory that early ML had only binary pairing, nesting for n-tuples.&nbsp; Can anyone confirm this memory.&nbsp; If so, does anyone remember the rationale for going to n-tuples?&nbsp; Performance, perhaps?<br><br>Similarly, did the Haskell designers consider pairs as an alternative to n-ary tuples?<br>
<br>The reason I ask is that while ghc and libraries suppors n-tuples for some values of n, the support is generally incomplete and inconsistent.&nbsp; And some abstractions are very heavily biased toward pairing, particularly Arrow and the pair instances of Monad and Applicative.&nbsp; And of course, inclusion of fst and snd in the prelude but lack of similar standard functions for n-tuples with n&gt;2.<br>
<br>&nbsp; - Conal<br>