sum xs = foldl (+) 0 xs        -- this is in the Standard Prelude, too