fun sum nil = 0 | sum (h :: t) = h + sum t;