Some notes on my experiences with Python type hints and Mypy