The standard for type hints in Python is lengthy and detailed PEP-484.
PEP-483 is 2x shorter and builds the foundation for this work. It summarizes the typing theory and outlines its guiding principles for Python. I found it helpful to see the bigger picture.
