Type Alias ParseIndirsToObject<T, Names, Agg>

ParseIndirsToObject: T extends readonly [infer First, ...(infer Rest)]
    ? First extends IndirDef
        ? Rest extends readonly IndirDef[]
            ? ParseIndirsToObject<
                Rest,
                Names,
                {
                    [K in keyof Agg
                    | First["name"]]: K extends First["name"] ? First : Agg[K]
                },
            >
            : never
        : never
    : IndirectionMap<Names> & Agg