Functional programming at the type level in TypeScript | Heykuki News