TypeScript lets you do fancy and complicated things with its advanced type system. But well, is this actually any useful in practice? It is! This talk introduces you to a few TypeScript types that are so complex they broke syntax highlighting on GitHub, and demonstrates that they are indeed incredibly useful in practice. Along the way, we will see how to maintain such wizardry effectively, and what you should avoid if you care about fast type inference in your editor.