Hindley-Milner Type Inference: W Algorithm

https://stackoverflow.com/questions/12532552/what-part-of-hindley-milner-do-you-not-understand