Type Safety in Two Easy Lemmas | Hacker News Reader