The type of a function that given any equivalence of type A, returns an equivalence for F<A>. For example:
A
F<A>
const makeOptionEquivalence: LiftEquivalence<OptionTypeLambda> = liftEquivalence<OptionTypeLambda> Copy
const makeOptionEquivalence: LiftEquivalence<OptionTypeLambda> = liftEquivalence<OptionTypeLambda>
The type of a function that given any equivalence of type
A, returns an equivalence forF<A>. For example:Example