[Typing-sig] Re: Dependent mapping of TypeVarTuples?

Has someone considered the following intuitive syntax using 'for ... in ...' instead of the Map operator? In my opinion, it's a bit more verbose, but also much more intuitive as well as powerful at the same time. Ts = TypeVarTuple('Ts') def pair_with_ids(*args: *Ts) -> tuple[tuple[int, T] for T in Ts]: ...