Automatic lifting of a merging
operation based upon the application of a function.
Automatic lifting of a merging
operation based upon the application of a function.
the type of the object to be merged
the first argument of the function used in the merging
the second argument of the function used in the merging
the return type of the function used in the merging
the object to be merged
the function over which to merge