Yep. An absolute travesty, and makes working with mypy a pretty huge pain, even though the advantages of static typing still make it worth it. But man, when I switch back to Typescript, I remember how nice it could have been.