Как типизировать функцию с переменным числом аргументов (variadic)?

Для variadic-функций используется rest-параметр с типом массива или кортежа: (...args: string[]) для однородных аргументов, (...args: [string, number, ...boolean[]]) для variadic tuple types. Начиная с TypeScript 4.0, можно использовать generic rest-элементы в кортежах, чтобы сохранить точную информацию о количестве и типах аргументов.