@yosh TBH my main gripes with types has been when TypeScript is unable to match the types existing in JS libraries or in the Runtime. I think if I do another typed language like Rust where it's guaranteed to be 1-to-1 with the APIs it'd be way easier.