Thanks everyone for the discussions in the meetup.

1. Slides:
Pradeep - Callable syntax stats - https://drive.google.com/file/d/1k_TqrNKcbWihRZdhMGf6K_GcLmn9ny3m/view?usp=sharing
Steven - Callable examples and questions - https://drive.google.com/file/d/119gt9-nCa_mGUjAVanWT2mscC3KlhfN4/view?usp=sharing
Eric - TBD (could you share them?).
Doc containing proposal details: https://docs.google.com/document/d/11VkNk9N8whxS1SrBv2BNN1Csl5yeTlgG7WyLrCB5wgs/edit?usp=sharing

2. Meeting notes:

+ Nobody was in favor of the def-style syntax by itself, since it was verbose for the most common cases. The need for forward-slash to indicate positional-only parameters was another confusing pitfall.

+ Jake Bailey pointed out that, if lambdas get special syntax, Callable types would need to be distinguishable from them. Steven suggested that having different arrow styles could help: something like `(int) -> str` for callable types and `(x, y) => x + y` for lambdas.

+ Jelle Zijlstra asked if the rejection of PEP 637 (Support for indexing with keyword arguments) by the Steering Council could bode poorly for callable syntax. Guido mentioned that the rejection there was more about keyword arguments in indexing. Typing syntax was only a peripheral concern in that PEP.

3. Straw poll at the end of the meetup:

Hybrid style: 8 votes - Nikita, James Hilton-Balfe, nadirchowdhury, Martin, Sebastian, Guido, Carl, Jake.

Shorthand style: 6 votes - Rebecca, Shannon, Jia, Steven, Eric, Pradeep.

4. Rationale for hybrid over shorthand: I'm interested in hearing about the use cases that people care about here. If you favor hybrid over shorthand, could you share your reasons why? We can try to find a solution that addresses those use cases while being well-specified.

5. Follow-up: Are you interested in a general typing meetup every month or two?

People could present ideas or PEPs they're working on and get quick, early feedback. Discussions could generally move along faster in person if there's some deadlock in typing-sig. (This would be for typing-sig topics in general, not just callable syntax.)