val reduce2 : ('k, 'd, 'a) reduction_operation ‑> ('k, 'd, 'b) reduction_operation ‑> ('k, 'd, 'a * 'b) reduction_operation