Automatic lifting of a zip
operation, type zipped dependent on the nested type structure.
Automatic lifting of a zip
operation, type zipped dependent on the nested type structure.
the argument type of the object to be zipped.
the object to be zipped.