Slightly related, PEP 677 with an easier-to-parse and more expressive syntax was a discussion to improve how to annotate callables, not sure what came of it though. You might want to look at that and see how your idea would work with the proposal there (sorry if you’ve already seen it).