I’m pretty sure TypeScript’s type system is capable of a lot more than I tend to think it is when I’m coding in it.
