How to abort early with Type instantiation is excessively deep and possibly infinite

Question

type PathFinder<
  TFieldValues,
  Key extends keyof TFieldValues = keyof TFieldValues,
> = Key extends string
  ? TFieldValues[Key] extends FileList
    ? Key