Type Alias Associative<Cat, P>

Associative: TypeClass.Category.Category<Cat> & GenericBifunctor<
    Cat,
    Cat,
    Cat,
    P,
> & {
    assoc: <A, B, C>() => TypeClass.Iso.Iso<
        Cat,
        Get2<P, A, Get2<P, B, C>>,
        Get2<P, Get2<P, A, B>, C>,
    >;
}