A reckless introduction to Hindley-Milner type inference | Hacker News Reader