It would be nice if we could avoid this extra read/write here. I think it should be possible by doing something like having reduceHelper take a Dest as one of its parameters.