Type-hinting and mypy