results for Hindley-Milner