I thought the answer would be easy to find on the internet, but I cannot find any package that features a strict version of `sum`.

Do you know if such a function is defined anywhere? (like a custom prelude for instance)

I know it is trivial to define, but I would prefer not to repeat myself (and somebody else).

Thanks!