SE-0515: Allow `reduce` to produce noncopyable results

Thanks for the feedback, folks! We have accepted this proposal.