#tip

В TS variadic functions можно выражать через tuple

Раньше для типизации функции с переменным количеством аргументов нужно было писать километровые портянки перегрузок.

С энных версий (уже довольно давно) у нас есть типизация таплов и рекурсивные типы, не пишите портянки.