Thanks to Tin for presenting today! The recording, slides, meeting notes, and chat transcript are in the running meetup notes doc: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... Notes: - Tin talked about the problem of querying and selecting fields from an ORM/ODM class in a type-safe manner. - Querying/Projection: The `find` function needs to return a tuple of types based on the tuple of arguments passed to it. This is something that can be addressed by the `Map` operator (proposed as a followup to PEP 646 - Variadic generics). - Selection: If the user specifies a filter such as `id == 1`, we would like to type check that the `id` field is of type `int` (see slide 21). Doing this could be hard for an arbitrary number of fields with arbitrary filtering operations. There was no good consensus on this during the meetup. - Slightly related: Can ClassVars wrap a TypeVar T? Mypy forbids it, whereas Pyre allows it. Afaik this is not addressed in the specification, so we probably want to standardize it. Best, Pradeep Slides: https://drive.google.com/file/d/1_7M6SCqx5ywXoiWCy57W6rgeWV1P2wei/view?usp=s...