hmm that’s interesting. We’re currently comparing pyre/ pyrite/mypy. I’ve only used

mypy

in my experience so was curious how the others would be better suited.