[Timon3]

Typescript supports it too (quick example[0]) :) and Python actually as well, but currently you can't unpack two TypeVarTuples in the same type expression: https://peps.python.org/pep-0646/

[0] https://www.typescriptlang.org/play?#code/C4TwDgpgBAglC8UDaA...

[chlorion]

Wow this is very cool thanks for sharing!

[Timon3]

You're welcome! That's why I'm very excited about Typescript, the system is very powerful :)