Typescript泛型扩展了泛型？

Question

我正在尝试在TS（TS playground）中构建地图功能：

type $TupleMap<T extends any[], F> = {
  [P in keyof T]: F<T[P]>
}

这对我大吼，在Type 'F' is not generic位上说了F<T[P]>。

如何将F定义为具有一个类型实参的泛型？