A reckless introduction to Hindley-Milner type inference(lesswrong.com)

https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference