Mypy is an optional static type checker for Python.