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