[Typing-sig] Re: Alternative notation for Callable