mypy>=2.4
pyrefly<1.5,>=1.4.0
