In Typescript, define a type for an array where the first element is more specific than the rest

In current versions of Typescript this is possible using array spread:

type FAs = [Function, ...Array<{}>]

It supports any length from 1 to n (the first element is required).