TypeCake, a language that compiles to TypeScript types | Dark Hacker News