Automatic lifting of a zip
operation based upon the application of a function.
Automatic lifting of a zip
operation based upon the application of a function.
the type of the object to be zipped
the first argument of the function used in the zipping
the second argument of the function used in the zipping
the return type of the function used in the zipping
the object to be zipped.
the function over which to zip