Всё по теме Hindley-Milner