This is so good. And it's so absurd how programming languages so frequently treat types as a compile time check. Still. After so so long.

It's great having tools like Facet around to add runtime type information in. I wish TypeScript was seeing progress but there's seemingly no progress or traction in 5 years+, just some early experiments which died out.