Пятая лекция
ML type inference