autolift
Type class supporting folding over an arbitrary nesting of type constructors.
The type at which to stop folding.
The type over which to lift the folding.
Type class supporting folding over an arbitrary nesting of type constructors.
The type at which to stop folding.
The type over which to lift the folding.