>>647
sum (x:xs) = x + sum xs
はどうなるの?