Making impossible states impossible ft. Zod and Typescript

Some patterns in the typed functional world are quite handy. The most prominent pattern is that of using Union and Product Types to model data to avoid bugs. The title of this blog post is lifted from a great talk given by Richard Feldman: https://ww...