Hindley Milner is quite elegant, but as applied in languages it becomes a quite different beast (OCaml etc, yikes)

But also thanks to that detour, this article is a nice read on OCaml in particular: http://okmij.org/ftp/ML/generalization.html