Static Typing with Python — typing documentation