name: New typing feature about: Suggest a new feature for Python's typing system title: '' labels: ‘topic: feature’ assignees: ''