Init: factorial function with `foldl` (why not?)
Init: `sum` using `foldl`