A different view of TypeScript's type system | Dark Hacker News