Exhaustive Switch Expressions in TypeScript

wrote this post with our team about discriminated unions in typescript, would love to hear people's thoughts