[Python-Dev] Re: RFC on Callable Type Syntax