mypy>=0.720
typing-extensions>=3.7.4
