¶PEP 747: Annotating Type Forms
(Still draft)
An attempt to be able to talk about types in the type system. This is a good example of where I think we're using “type” to refer to two different concepts: an instance of the Python runtime type class, and a “set of values” as described by the typing system.