Type hints as documentation are a gateway drug to type hints for bug finding. Keep at it :)