autolift
Type class supporting folding over a nested type constructor up to and including a type constructor.
The type at which to stop folding.
The type over which to lift the folding.
Type class supporting folding over a nested type constructor up to and including a type constructor.
The type at which to stop folding.
The type over which to lift the folding.