Type Alias GenericBifunctor<C1, C2, C3, T>

type GenericBifunctor<C1, C2, C3, T> = {
    cat1: TypeClass.Category.Category<C1>;
    cat2: TypeClass.Category.Category<C2>;
    cat3: TypeClass.Category.Category<C3>;
    genericBiMap: <A, B>(
        first: Get2<C1, A, B>,
    ) => <C, D>(
        second: Get2<C2, C, D>,
    ) => Get2<C3, Get2<T, A, C>, Get2<T, B, D>>;
}