Types Aren't Sets | Hacker News Reader