TypeScript's unknown type and type variance | Hacker News Reader