Oh, you definitely need something like io-ts, runtypes, zod, there's a few more, to do runtime validation of data. Zod I think is quite popular. Typescript is

Oh, you definitely need something like io-ts, runtypes, zod, there's a few more, to do runtime validation of data. Zod I think is quite popular. Typescript isn't perfect (sound?) So you can still get errors even if things type check, but if you are disciplined using those libraries instead of `as`, the problems are minimal.