Add foldl' and sum'