Why TypeScript lets you overrule its type checker | Hacker News Reader