是否可以在通用函数中指定一种类型并推断一种类型

Question

所以我希望一种类型可以由用户指定，而另一种类型可以从参数中推断出

最简单的例子

export function state<D, T extends string = string>(type: T) {
  return [] as Array<D | T> 
}

var b = state<number>('fooBarTest'); // (string, number)[]

我希望typeof b等于

var b = state<number>('fooBarTest') // (number | "fooBarTest")[]` 

无需编写

var b = state<number, 'fooBarTest'>('fooBarTest') // (number | "fooBarTest")[]` 

有可能吗？