Article: A different way to think about TypeScript's type system : r/typescript