Use foldl' for stricter sums. Add a Monoid instance.