i think mypy is incredible because it’s separate from the language implantation itself, it’s extremely hackable and improving every day, and it’s trying incredibly hard to be practical! thanks so much to @hundreds-father-404 for pushing this super important migration through!!!