On Types and Intent | Hacker News Reader