What is Hindley-Milner and why is it cool? (2008) | Hacker News