Interesting. I’ve never felt a need for this, and as the other reply here said it was really unpopular in other languages.

I would have guessed you would have said something about how it’s annoying to type callable arguments, and how Protocol exists but doesn’t seem that widely known.