That’s where you use something like https://github.com/gcanti/io-ts to enforce types on unknown data at runtime.