Hindley-Milner type