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

This is not valid as the document say:

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