oh let's be clear there's no sensible real world use cases of this thing. it's a demonstration of what TS's type system can do
This is a work of art.
There are a lot of uses of compile-time code. One I have been interested in is generating bindings to other languages or generating serialization code, or even generating bytecodes for VMs with specific bytecodes for accessing your native data structures (instead of adding a level of indirection).