autolift
Type class supporting merging 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
Type class supporting merging 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