This PEP proposes making function objects subscriptable for typing purposes. Doing so gives developers explicit control over the types produced by the type checker where bi-directional inference ...

Python version (& distribution if applicable, e.g., Anaconda): 3.8.20 Type of virtual environment used (e.g., conda, venv, virtualenv, etc.): conda Operating system ...