Towards a more type-clean mypy check.