Making Sense of Subtypes (a tutorial on how not to mess them up) | Hacker News Reader