I am trying to understand the recursive calls of a function in SML which purpose is to find the highest integer value in a list. This function is bad for educational reasons.