如何让泛型类型参数本身成为泛型

Question

我正在处理一个示例，其中我对打字稿中的类型有两个泛型参数，但我希望第二个泛型类型采用第一个泛型类型。沿着这些思路

type NestedMess<T, V> = (t: V<T>) => void

但是，我明白了Type 'V' is not generic. ts(2315)。有没有一种方法可以表明这V将是一种本身是通用的类型？