> TypeScript already is something, where due to compiler issues I just use “any”.

Uh, maybe you're not seeing the benefit due to this. My codebase bans "any" and Zod is great for runtime data validation.