在Typescript中，如何允许类型具有指向该类型的递归值的泛型的所有键？

现在我有这样的东西，其中“ any”可以充当通用的“ V”

interface Validation<V> {
  $isValid: boolean
  $isValidating: boolean
  $value: V
  [prop: string]: boolean | V | Validation<V>
}

我想做的是用V中的任何字符串键K替换字符串索引类型，这将返回一个Sub Validation接口。

interface Validation<V> {
  $isValid: boolean
  $isValidating: boolean
  $value: V
  [K extends Extract<keyof V, string>]: Validation<V[K]>
}

这显然是行不通的，并且想知道是否可以实现类似的目标。