Function merge

merge<
    L extends
        [...{ [I in string | number | symbol]: Mut<L<L>[I], RegExp | Date> }[]],
    R extends
        [...{ [I in string | number | symbol]: Mut<R<R>[I], RegExp | Date> }[]],
>(
    l: L,
    r: R,
): MergeFiniteArrays<L, R>

merge<
    L extends
        [...{ [I in string | number | symbol]: Mut<L<L>[I], RegExp | Date> }[]],
    R extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<R<R>[K], RegExp | Date>
        },
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: FinArrayWithObject<L, R>[K]
}

merge<
    L extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<L<L>[K], RegExp | Date>
        },
    R extends
        [...{ [I in string | number | symbol]: Mut<R<R>[I], RegExp | Date> }[]],
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: FinArrayWithObject<R, L>[K]
}

merge<
    L extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<L<L>[K], RegExp | Date>
        },
    R extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<R<R>[K], RegExp | Date>
        },
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    L extends readonly []
    | readonly unknown[],
    R extends
        [...{ [I in string | number | symbol]: Mut<R<R>[I], RegExp | Date> }[]],
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    L extends
        [...{ [I in string | number | symbol]: Mut<L<L>[I], RegExp | Date> }[]],
    R extends readonly []
    | readonly unknown[],
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    const L extends
        [...{ [I in string | number | symbol]: Mut<L<L>[I], RegExp | Date> }[]],
    R extends
        Record<keyof R & string, unknown>
        | Record<keyof R & number, unknown>,
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: FinArrayWithObject<L, R>[K]
}

merge<
    L extends
        Record<keyof L & string, unknown>
        | Record<keyof L & number, unknown>,
    R extends
        [...{ [I in string | number | symbol]: Mut<R<R>[I], RegExp | Date> }[]],
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    L extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<L<L>[K], RegExp | Date>
        },
    R extends readonly []
    | readonly unknown[],
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: NonFinArrayWithObject<R, L>[K]
}

merge<
    L extends readonly []
    | readonly unknown[],
    R extends
        {
            -readonly [K in string | number | symbol]: Mut<R<R>[K], RegExp | Date>
        },
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: NonFinArrayWithObject<L, R>[K]
}

merge<
    L extends
        Record<keyof L & string, unknown>
        | Record<keyof L & number, unknown>,
    R extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<R<R>[K], RegExp | Date>
        },
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    const L extends
        {
            -readonly [K in string
            | number
            | symbol]: Mut<L<L>[K], RegExp | Date>
        },
    R extends
        Record<keyof R & string, unknown>
        | Record<keyof R & number, unknown>,
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    L extends readonly []
    | readonly unknown[],
    R extends readonly [] | readonly unknown[],
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }

merge<
    L extends readonly []
    | readonly unknown[],
    R extends
        Record<keyof R & string, unknown> | Record<keyof R & number, unknown>,
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: NonFinArrayWithObject<L, R>[K]
}

merge<
    L extends
        Record<keyof L & string, unknown>
        | Record<keyof L & number, unknown>,
    R extends readonly []
    | readonly unknown[],
>(
    l: L,
    r: R,
): {
    -readonly [K in string | number | symbol]: NonFinArrayWithObject<R, L>[K]
}

merge<
    L extends
        Record<keyof L & string, unknown>
        | Record<keyof L & number, unknown>,
    R extends
        Record<keyof R & string, unknown>
        | Record<keyof R & number, unknown>,
>(
    l: L,
    r: R,
): { -readonly [K in string | number | symbol]: (L & R)[K] }