Does anyone know how it compares to mypy? Mypy is very slow in my experience, would love a more performant option.