Что такое вариативные типы кортежей (variadic tuple types)?

Variadic tuple types (TypeScript 4.0+) позволяют использовать spread-оператор ...T прямо в типах кортежей, где T — generic-параметр, являющийся кортежем. Это даёт возможность конкатенировать, разбивать и трансформировать кортежи на уровне типов — примерно как spread для массивов в рантайме, но для типов на этапе компиляции.