Function match

match<
    L extends { [I in string
    | number
    | symbol]?: L<L>[I] },
    R extends { [I in string | number | symbol]?: R<R>[I] },
>(
    l: L,
    r: R,
): 1

match<
    L extends { [I in string
    | number
    | symbol]?: L<L>[I] },
    R extends { -readonly [K in string | number | symbol]: R<R>[K] },
>(
    l: L,
    r: R,
): 2

match<
    L extends { -readonly [K in string
    | number
    | symbol]: L<L>[K] },
    R extends { [I in string | number | symbol]?: R<R>[I] },
>(
    l: L,
    r: R,
): 3

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

match<
    L extends readonly []
    | readonly unknown[],
    R extends { [I in string | number | symbol]?: R<R>[I] },
>(
    l: L,
    r: R,
): 5

match<
    L extends { [I in string
    | number
    | symbol]?: L<L>[I] },
    R extends readonly [] | readonly unknown[],
>(
    l: L,
    r: R,
): 6

match<
    L extends { [I in string
    | number
    | symbol]?: L<L>[I] },
    R extends
        Record<keyof R & string, unknown> | Record<keyof R & number, unknown>,
>(
    l: L,
    r: R,
): 7

match<
    L extends
        Record<keyof L & string, unknown>
        | Record<keyof L & number, unknown>,
    R extends { [I in string
    | number
    | symbol]?: R<R>[I] },
>(
    l: L,
    r: R,
): 8

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

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

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

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

match<
    L extends readonly []
    | readonly unknown[],
    R extends readonly [] | readonly unknown[],
>(
    l: L,
    r: R,
): 13

match<
    L extends readonly []
    | readonly unknown[],
    R extends
        Record<keyof R & string, unknown> | Record<keyof R & number, unknown>,
>(
    l: L,
    r: R,
): 14

match<
    L extends
        Record<keyof L & string, unknown>
        | Record<keyof L & number, unknown>,
    R extends readonly []
    | readonly unknown[],
>(
    l: L,
    r: R,
): 15

match<
    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,
): 16

match<
    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,
): 16