Python typing spec

The authoritative full spec of Python's type hints. Started as a concatenation of the various PEPs.