using mypy regularly on a large project is pretty slow and painful, so I personally welcome any improvements no matter the origin!!