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