Type Checker

It really depends on what type checking strategy you're using. I wouldn't be surprised if it turned out that like if you deleted every type annotation from our, you know, almost half a million lines of Elm code base and then ran the type checker, I would expect it to be slower some amount. And for me, it was because of global, but it's clearly not global. There is something else that needs to be part of the thing that it makes the thing harder. But in practice to make it run fast, there's all these little fiddly bits that you can like easily get like an off by one error with like these numbers that you have to manually increment and