Types as an Afterthought | Hacker News Reader