[Typing-sig] Re: Defaults for TypeVar-likes

Do we have any common examples of Paramspec/TypeVarTuple defaults being desirable? I understand symmetry with TypeVar, but I'm unsure it's worth complexity unless it happens that implementing it for typevar gives it for free somehow. I think we'll have 90% of value of this pep from normal typevar defaults and we can do a follow up pep if people find needs for defaults for paramspec/typevartuple. If you need to ponder hard for good examples then I think it's worth leaving as follow up work My preference is that Paramspec/TypeVarTuple defaults are undefined behavior to make pep's scope smaller and still have most of the value. If a type checker needs to have more logic to handle those two it can just skip them.