anyone have some time to help me with a tricky #python #typing and #mypy problem?
it's fully self-contained in https://github.com/cthoyt/python-typing-dilemma. It contains some examples of things I tried, and why they didn't work
it hinges on using PEP-696 defaults in typing.TypeVar, introduced in Python 3.13