Squeezing maximum type safety out of Typescript with TypeStrict | Hacker News Reader