[chlorion]

The tuple thing requires variadic generics from my understanding.

I don't thing variadic generics support is supported in most statically typed languages. The only one I can think of right now that supports this is C++.

[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 :)