Hindley-Milner / close #4