autolift
Type class supporting the mapping over an arbitrary nesting of type constructors.
the type to be lifted into.
the function to be lifted.
Type class supporting the mapping over an arbitrary nesting of type constructors.
the type to be lifted into.
the function to be lifted.