Hindley Milner Type Checking Algorithm Example