[tobr]

> You have to wonder whether you could implement TypeScript itself in that language...

I also wonder if you could compile TypeScript to TypeScript types? After all, you want your type manipulation code to be typesafe.