autolift
Type class supporting mapping of a function over a specific higher-kinded type within a nested type constructor.
the higher-kinded type to lift the function into.
the type over which the function will be lifted.
the type of the function which will be lifted.
Type class supporting mapping of a function over a specific higher-kinded type within a nested type constructor.
the higher-kinded type to lift the function into.
the type over which the function will be lifted.
the type of the function which will be lifted.