Fold functions

I think we could do with more fold functions on arrays.

Some folds can be done via Foldable (Array i) or folding over elems, but it's a little inconvenient.
Other folds are harder to get to and could benefit from being provided by the library.

I'll make an MR.