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