You can learn a lot more about io-ts and fp-ts here:
- https://github.com/gcanti/io-ts
- https://www.npmjs.com/package/io-ts
- https://lorefnon.tech/2018/03/25/typescript-and-validations-at-runtime-boundaries
- https://medium.com/@ottoki/runtime-type-checking-with-io-ts-in-typescript-14465169fb02
- https://www.olioapps.com/blog/type-driven-development-with-typescript
- https://www.olioapps.com/blog/checking-types-real-world-typescript