Explore how TypeScript mapped types can create some perplexing paradoxes where Cat === Dog! An overview of how to brand identical types so that the TypeScript compiler can tell them apart from each other.| Prosopo
