For these two, do we assume the accumulator always has the same type as the array?  That probably makes sense, but just want to clarify.