http://dbpedia.org/resource/Hindley–Milner_type_system Hindley–Milner type system