sum :: [Int] -> Int -- testing 4 combinations of argument values -- pruning with 14/25 rules -- looking through 2 candidates of size 1 -- looking through 5 candidates of size 2 -- looking through 6 candidates of size 3 -- looking through 19 candidates of size 4 -- looking through 31 candidates of size 5 sum [] = 0 sum (x:xs) = x + sum xs sum :: [Int] -> Int -- testing 6 combinations of argument values -- pruning with 14/25 rules -- looking through 2 candidates of size 1 -- looking through 5 candidates of size 2 -- looking through 6 candidates of size 3 -- looking through 19 candidates of size 4 -- looking through 31 candidates of size 5 sum [] = 0 sum (x:xs) = x + sum xs sum :: [Int] -> Int -- testing 6 combinations of argument values -- pruning with 14/25 rules -- looking through 2 candidates of size 1 -- looking through 5 candidates of size 2 -- looking through 6 candidates of size 3 -- looking through 19 candidates of size 4 -- looking through 31 candidates of size 5 sum [] = 0 sum (x:xs) = x + sum xs