Introducing Zod, and design tradeoffs of typescript libraries that let you specify and validate types: https://vriad.com/blog/zod/