autolift
Type class supporting the applicative mapping of a type over another type of arbitrary nested type constructors.
The type of object to be lifted into.
Type class supporting the applicative mapping of a type over another type of arbitrary nested type constructors.
The type of object to be lifted into.