A dilemma with PEP-696 default generics when using optional static typing in Python

This post describes an issue I’ve had with writing correct types when using PEP-696 defaults in typing.TypeVar. I posted the exploration in a companion repository on GitHub.