Type Alias LiftedEquivalences<Eqs, F, R, O, E>

LiftedEquivalences: {
    [K in keyof Eqs]: EQ.Equivalence<
        Kind<F, R, O, E, Eqs[K] extends EQ.Equivalence<infer T> ? T : never>,
    >
}

Given the tuple of equalities for types A₁, A₂, ...Aₙ, returns the tuple of equalities for types F<A₁>, F<A₂>, ...F<Aₙ>.