We unfortunately had to switch away from this as it took too long for pyre to support Python 3.8 after it was released. I've been using mypy since then, but I

We unfortunately had to switch away from this as it took too long for pyre to support Python 3.8 after it was released. I've been using mypy since then, but I had no complaints about pyre when I used it.