foldr1 package:storablevector

foldr1 is a variant of foldr that has no starting value argument, and thus must be applied to non-empty Vectors It is a checked error to pass an empty Vector.