fold the elements of this Sequence using the given monoid and initial value right-to-left.

Used to fold a Sequence tail-recursively