Interface Given<F, A, B>

interface Given<F extends TypeLambda, A, B> {
    a: Arbitrary<A>;
    cvAlgebra: Arbitrary<CVAlgebra<F, A[]>>;
    equalsA: Equivalence<A>;
    equalsB: Equivalence<B>;
    equalsF: Equivalence<Fix<F, unknown, unknown, never>>;
    fa: Arbitrary<Kind<F, never, unknown, unknown, A>>;
    fixed: Arbitrary<Fix<F, unknown, unknown, never>>;
    rAlgebra: Arbitrary<RAlgebra<F, B[]>>;
    "φ": Arbitrary<Algebra<F, A>>;
    "ψ": Arbitrary<Coalgebra<F, A>>;
}