Каждый кортеж кортежа представлен его собственным типом быстрым (как и на любом другом строго типизированном языке программирования, о котором я знаю), поэтому мы имеем
($T1, $T2)
($T1, $T2, $T3)
...
Поскольку у нас есть несколько разных типов, по одному на мощность, они должны быть конечными.
В Scala мы имеем до Tuple22, в Haskell текущий предел должен быть 64.
Какой предел (если есть) в быстром? Кроме того, являются ли реализации типов, сгенерированные компилятором, или есть явная реализация, которую я не смог найти?