Using mypy to type-check your code

-