[Typing-sig] Re: Moving typeshed representation of generic callable types to lowest common denominator

Not sure I understand. Does that mean you'd be comfortable with the PR if the protocol moved into that common file? I would also like to hear your thoughts on (2). It's important for us to understand what the expectations are – specifically whether the PEPs or mypy's implementation will be considered the source of truth for semantics in typeshed.