Minor `map_reduce` API change.
Expand existentially quantified existential type parameter tuple variable into variables in tuple, at each iteration.