Heh, this `reduce` is just a reimplementation of `__builtins__.sum`. (Not that this is really relevant to this PR.)