Higher-Kinded `TypeVars` for Python Typing

• Higher-Kinded TypeVars - gh:python/typing#548:

Starting in 2018

Reach a consensus by 2026

And I really like this quote

I meant to illustrate just how far Python has come since this thread was started, and that the landscape looks much different now; HKTs are on many more different people's radars than they were back in 2018. Also, we've all changed our minds a few times since 2018 ❤️

-- @bartfeenstra's comment

Other readings:

• Typeclasses in Python
• Higher Kinded Types in Python