Type Checkers

I'm a big fan of like once something gets sufficiently mature, just make it faster and that's it. Don't change the idea. That's an interesting approach. It seems like most type checkers try to just like do their best with all that stuff. And that seems like it's better for adoption, but less good in terms of how much you can trust what it what comes out the other side. I think it might have some adoption in the closure world. We're very into like a library being done. Like there's no new features. What else would it need?