mypy>=0.800
typing-extensions>=3.7.4
