用Mypy进行详尽检查