Hindley-Milner III Solving the Constraints II