On Defining New Types | Hacker News Reader