autolift
Type class supporting the folding of a predicate over an arbitrary nesting of type constructors.
the type to be lifted into.
the predicate to be lifted.
Type class supporting the folding of a predicate over an arbitrary nesting of type constructors.
the type to be lifted into.
the predicate to be lifted.