Hindley-Milner Type Inference

http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool

http://dysphoria.net/2009/06/28/hindley-milner-type-inference-in-scala/