Good riddance! I’m optimistic that these guys will transform the typing landscape, which, let’s be honest, has room for improvement. I find mypy abysmal to use, bug-ridden with weird defaults, and extremely painful to add to an existing codebase