How to type hints for a genetic input tuple, with list[T] map to T

```python
def func[T, *Ts1, *Ts2](values: tuple[*Ts1, list[T], *Ts2]) -> tuple[*Ts1, T, *Ts2]: ...
```

This is not valid as [the document](https://docs.python.org/3/library/typing.html#typing.TypeVarTuple) say:

> However, note that at most one type variable tuple may appear in a single list of type arguments or type parameters