So you still don't understand Hindley-Milner? | Hacker News Reader