Typescript数组泛型问题

假设我有一个函数，参数是一个数组，如何重载函数来保证返回的值也是数组中的每个值的类型？
如：

我知道如果参数中的类型是同一种类型则比较好写，如：

或者

即可。但是没有想明白如果参数数组中的类型是任意的该如何写？

function A(arr: [string, number, [number]]) {
return ["a", 1, [1]] as typeof arr
}

这样吗？