Using types to build reliable systems | Hacker News Reader