autolift
Type class supporting lifting a reverse on a Traverseable over an arbitrary nesting of type constructors.
The type over which to lift the reverse.
Type class supporting lifting a reverse on a Traverseable over an arbitrary nesting of type constructors.
The type over which to lift the reverse.