FitAll

type FitAll<
    TCtor extends AnyHandlerCtor,
    Gates extends readonly Gate<GateContextBase>[]
> = {
    [Index in keyof Gates]: GateFitsWith<
        ProvidedContext<TCtor>,
        KindName<ProvidedContext<TCtor>>,
        Gates[Index],
        KindName<RequiredOf<Gates[Index]>>
    >;
};

type FitAll<
    TCtor extends AnyHandlerCtor,
    Gates extends readonly Gate<GateContextBase>[]
> = {
    [Index in keyof Gates]: GateFitsWith<
        ProvidedContext<TCtor>,
        KindName<ProvidedContext<TCtor>>,
        Gates[Index],
        KindName<RequiredOf<Gates[Index]>>
    >;
};