So You Still Don't Understand Hindley-Milner? | Hacker News Reader