Understanding Infer in TypeScript | Dark Hacker News