autolift
Typeclass supporting the zipping and then application of a function on the zipped results over an arbitrary nesting of type constructors.
The type which will be lifted and zipped into the left hand side
The type which will be lifted and zipped into the right hand side
The function which will be lifted and applied to the results
Typeclass supporting the zipping and then application of a function on the zipped results over an arbitrary nesting of type constructors.
The type which will be lifted and zipped into the left hand side
The type which will be lifted and zipped into the right hand side
The function which will be lifted and applied to the results