Functions and algorithms implemented purely with TypeScript's type system | Heykuki News