sum :: Int -> Int
sum(x) -> 0         | x ≤ 0
sum(x) -> x + sum(x - 1) | x != 0