Combines the results of two arguments using a projection.
Effectively, on(op, f)(x, y) = op(f(x), f(y)).
type of the item
type of the projected result
type of the result
the combiner
the projection
Combines the results of two arguments using a projection.
Effectively, on(op, f)(x, y) = op(f(x), f(y)).