autolift
Type class supporting folding over an arbitrary nesting of type constructors.
The type to be lifted into.
Type class supporting folding over an arbitrary nesting of type constructors.
The type to be lifted into.