TypeCake is a language that compiles to TypeScript types. (WIP) - View it on GitHub