TypecarDefaults #2003
Description
Right, 696 is going to be typevar defaults. I may be willing to sponsor a PEP for HKT, but given the complexity of the feature I'd like to see a prototype in a major type checker first, as well as a well-specified draft PEP.
Originally posted by @JelleZijlstra in #548