[Typing-sig] PEP 718: subscriptable functions