TypeScript and Elm

I think I've got to a place where web components and TypeScript doesn't feel as far away from Elm as it once did, which I really like. For example, I currently work on the performance tooling and we have a file full of types that define different, what are called trace events. The other day, I found an error in our types for one of those trace events. And I changed the type and I had like five compiler errors that types group found where we were just referring now to a now incorrect value. But when I went through an update of those, ran all the tests and it just passed first time. I didn't even have to run the product. I