“Types considered harmful” considered insightful | Hacker News Reader