Typical Mayhem: A Binary Tree Based on Types

Here we will build a binary tree exclusively on the TypeScript type system — and not in order to solve a real problem, but to show how mind-blowing the language capabilities can be.