@effect-app/infra 4.0.0-beta.26 → 4.0.0-beta.260

package/src/Model/query/dsl.ts

@@ -1,2110 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unsafe-assignment */
-/* eslint-disable @typescript-eslint/no-unsafe-argument */
-/* eslint-disable @typescript-eslint/no-explicit-any */
-import { Data, flow, type Option, Pipeable, type S } from "effect-app"
-import type { NonNegativeInt } from "effect-app/Schema"
-import type { Covariant } from "effect/Types"
-import type { Ops } from "../filter/filterApi.js"
-import type { FieldValues } from "../filter/types.js"
-import type { FieldPath, FieldPathValue, RefineFieldPathValue } from "../filter/types/path/eager.js"
-
-export type QAll<
-  TFieldValues extends FieldValues,
-  TFieldValuesRefined extends TFieldValues = TFieldValues,
-  A = TFieldValues,
-  R = never,
-  TType extends "one" | "many" = "many",
-  Exclusive extends boolean = false
-> =
-  | Query<TFieldValues>
-  | QueryWhere<TFieldValues, TFieldValuesRefined, Exclusive>
-  | QueryEnd<TFieldValues, TType, Exclusive>
-  | QueryProjection<TFieldValues, A, R, TType, Exclusive>
-
-export const QId = Symbol()
-export type QId = typeof QId
-
-export interface QueryTogether<
-  out TFieldValues extends FieldValues,
-  out TFieldValuesRefined extends TFieldValues = TFieldValues,
-  out Exclusive extends boolean = false,
-  out T extends "initial" | "where" | "end" | "projection" = "initial",
-  out A = TFieldValues,
-  out R = never,
-  out TType extends "many" | "one" | "count" = "many"
-> extends Pipeable.Pipeable {
-  readonly [QId]: {
-    readonly _TFieldValues: Covariant<TFieldValues>
-    readonly _T: Covariant<T>
-    readonly _TFieldValuesRefined: Covariant<TFieldValuesRefined>
-    readonly _A: Covariant<A>
-    readonly _R: Covariant<R>
-    readonly _TT: Covariant<TType>
-    readonly _Exclusive: Covariant<Exclusive>
-  }
-}
-
-type ExtractTType<T> = T extends QueryTogether<any, any, any, any, any, any, infer TType> ? TType : never
-type ExtractExclusiveness<T> = T extends QueryTogether<any, any, infer Exclusive extends boolean, any, any, any, any>
-  ? Exclusive
-  : never
-type ExtractFieldValuesRefined<T> = T extends QueryTogether<any, infer TFieldValuesRefined, any, any, any, any, any>
-  ? TFieldValuesRefined
-  : never
-
-export type RelationDirection = "some" | "every"
-export type Relation = { relation: RelationDirection }
-export type Query<TFieldValues extends FieldValues> = QueryTogether<TFieldValues, TFieldValues, false, "initial">
-export type QueryWhere<
-  TFieldValues extends FieldValues,
-  TFieldValuesRefined extends TFieldValues = TFieldValues,
-  Exclusive extends boolean = false
-> =
-  & QueryTogether<
-    TFieldValues,
-    TFieldValuesRefined,
-    Exclusive,
-    "where"
-  >
-  & Relation
-
-export type QueryEnd<
-  TFieldValues extends FieldValues,
-  TType extends "many" | "one" | "count" = "many",
-  Exclusive extends boolean = false
-> = QueryTogether<
-  TFieldValues,
-  TFieldValues,
-  Exclusive,
-  "end",
-  TFieldValues,
-  never,
-  TType
->
-
-export type QueryProjection<
-  TFieldValues extends FieldValues,
-  A = TFieldValues,
-  R = never,
-  TType extends "many" | "one" | "count" = "many",
-  Exclusive extends boolean = false
-> = QueryTogether<
-  TFieldValues,
-  TFieldValues,
-  Exclusive,
-  "projection",
-  A,
-  R,
-  TType
->
-export type Q<TFieldValues extends FieldValues> =
-  | Initial<TFieldValues>
-  | Where<TFieldValues>
-  | And<TFieldValues>
-  | Or<TFieldValues>
-  | Order<TFieldValues, any>
-  | Page<TFieldValues>
-  | Project<any, TFieldValues, any>
-  | One<TFieldValues>
-  | Count<TFieldValues>
-
-export class Initial<TFieldValues extends FieldValues> extends Data.TaggedClass("value")<{ value: "initial" }>
-  implements Query<TFieldValues>
-{
-  readonly [QId]!: any
-  constructor() {
-    super({ value: "initial" as const })
-  }
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class Where<TFieldValues extends FieldValues> extends Data.TaggedClass("where")<{
-  current: Query<TFieldValues>
-  operation: [string, Ops, any] | [string, any] | ((q: Query<TFieldValues>) => QueryWhere<TFieldValues>)
-  relation: RelationDirection
-  subPath?: string
-}> implements QueryWhere<TFieldValues> {
-  readonly [QId]!: any
-
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class And<TFieldValues extends FieldValues> extends Data.TaggedClass("and")<{
-  current: Query<TFieldValues>
-  operation: [string, Ops, any] | [string, any] | ((q: Query<TFieldValues>) => QueryWhere<TFieldValues>)
-  relation: RelationDirection
-}> implements QueryWhere<TFieldValues> {
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class Or<TFieldValues extends FieldValues> extends Data.TaggedClass("or")<{
-  current: Query<TFieldValues>
-  operation: [string, Ops, any] | [string, any] | ((q: Query<TFieldValues>) => QueryWhere<TFieldValues>)
-  relation: RelationDirection
-}> implements QueryWhere<TFieldValues> {
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class Page<TFieldValues extends FieldValues> extends Data.TaggedClass("page")<{
-  current: Query<TFieldValues> | QueryWhere<any, TFieldValues> | QueryEnd<TFieldValues>
-  take?: number | undefined
-  skip?: number | undefined
-}> implements QueryEnd<TFieldValues> {
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class One<TFieldValues extends FieldValues> extends Data.TaggedClass("one")<{
-  current: Query<TFieldValues> | QueryWhere<any, TFieldValues> | QueryEnd<TFieldValues>
-}> implements QueryEnd<TFieldValues, "one"> {
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class Count<TFieldValues extends FieldValues> extends Data.TaggedClass("count")<{
-  current: Query<TFieldValues> | QueryWhere<any, TFieldValues> | QueryEnd<TFieldValues>
-}> implements QueryEnd<TFieldValues, "count"> {
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class Order<TFieldValues extends FieldValues, TFieldName extends FieldPath<TFieldValues>>
-  extends Data.TaggedClass("order")<{
-    current: Query<TFieldValues> | QueryWhere<any, TFieldValues> | QueryEnd<TFieldValues>
-    field: TFieldName
-    direction: "ASC" | "DESC"
-  }>
-  implements QueryEnd<TFieldValues>
-{
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export class Project<A, TFieldValues extends FieldValues, R, TType extends "one" | "many" = "many">
-  extends Data.TaggedClass("project")<{
-    current: Query<TFieldValues> | QueryWhere<any, TFieldValues> | QueryEnd<TFieldValues, TType>
-    schema: S.Codec<A, TFieldValues, R>
-    mode: "collect" | "project" | "transform"
-  }>
-  implements QueryProjection<TFieldValues, A, R>
-{
-  readonly [QId]!: any
-  override pipe() {
-    // eslint-disable-next-line prefer-rest-params
-    return Pipeable.pipeArguments(this, arguments)
-  }
-}
-
-export const make: <TFieldValues extends FieldValues>() => Query<TFieldValues> = () => new Initial()
-
-export const where: FilterWhere = (...operation: any[]) => (current: any) =>
-  new Where({ current, operation: typeof operation[0] === "function" ? flow(...operation as [any]) : operation } as any)
-
-export const and: FilterContinuationAnd = (...operation: any[]) => (current: any) =>
-  new And({ current, operation: typeof operation[0] === "function" ? flow(...operation as [any]) : operation } as any)
-
-export const or: FilterContinuationOr = (...operation: any[]) => (current: any) =>
-  new Or({ current, operation: typeof operation[0] === "function" ? flow(...operation as [any]) : operation } as any)
-
-export const whereEvery: WhereEveryOrSome =
-  ((subPath: string, ...[first, ...rest]: any[]) => (current: any) =>
-    new Where(
-      {
-        current,
-        operation: typeof first === "function"
-          ? flow(...[first, ...rest] as [any])
-          : [`${subPath}.-1.${first}`, ...rest],
-        relation: "every",
-        subPath
-      } as any
-    )) as unknown as WhereEveryOrSome
-export const whereSome: WhereEveryOrSome =
-  ((subPath: string, ...[first, ...rest]: any[]) => (current: any) =>
-    new Where(
-      {
-        current,
-        operation: typeof first === "function"
-          ? flow(...[first, ...rest] as [any])
-          : [`${subPath}.-1.${first}`, ...rest],
-        relation: "some",
-        subPath
-      } as any
-    )) as unknown as WhereEveryOrSome
-
-export const order: {
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "many", any>
-  >(
-    field: FieldPath<ExtractFieldValuesRefined<Q>>,
-    direction?: "ASC" | "DESC"
-  ): (
-    current: Q
-  ) => QueryEnd<ExtractFieldValuesRefined<Q>, "many", ExtractExclusiveness<Q>>
-} = (field, direction = "ASC") => (current) => new Order({ current, field: field as any, direction })
-
-export const page: {
-  (
-    page: { skip?: number; take?: number }
-  ): <Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "many", any>>(
-    current: Q
-  ) => QueryEnd<ExtractFieldValuesRefined<Q>, "many", ExtractExclusiveness<Q>>
-} = ({ skip, take }) => (current) =>
-  new Page({
-    current,
-    take,
-    skip
-  })
-
-export const one: {
-  <Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "many", any>>(
-    current: Q
-  ): QueryEnd<ExtractFieldValuesRefined<Q>, "one", ExtractExclusiveness<Q>>
-} = (current) =>
-  new One({
-    current
-  })
-
-// it's better to implement a distinct count so that the implementation can be optimised per adapter
-export const count: {
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "many", any>
-  >(
-    current: Q
-  ): QueryProjection<ExtractFieldValuesRefined<Q>, NonNegativeInt, never, "count", ExtractExclusiveness<Q>>
-} = (current) => new Count({ current })
-
-export const project: {
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
-    I,
-    A = ExtractFieldValuesRefined<Q>,
-    R = never,
-    E extends boolean = ExtractExclusiveness<Q>
-  >(
-    schema: S.Codec<
-      Option.Option<A>,
-      {
-        [K in keyof I]: K extends keyof ExtractFieldValuesRefined<Q> ? I[K] : never
-      },
-      R
-    >,
-    mode: "collect"
-  ): (
-    current: Q
-  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
-
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
-    I,
-    A = ExtractFieldValuesRefined<Q>,
-    R = never,
-    E extends boolean = ExtractExclusiveness<Q>
-  >(
-    schema: S.Codec<
-      A,
-      {
-        [K in keyof I]: K extends keyof ExtractFieldValuesRefined<Q> ? I[K] : never
-      },
-      R
-    >,
-    mode: "project"
-  ): (
-    current: Q
-  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
-    I,
-    A = ExtractFieldValuesRefined<Q>,
-    R = never,
-    E extends boolean = ExtractExclusiveness<Q>
-  >(
-    schema: S.Codec<
-      A,
-      {
-        [K in keyof I]: K extends keyof ExtractFieldValuesRefined<Q> ? I[K] : never
-      },
-      R
-    >
-  ): (
-    current: Q
-  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
-} = (schema: any, mode = "transform") => (current: any) => new Project({ current, schema, mode } as any)
-
-type GetArV<T> = T extends readonly (infer R)[] ? R : never
-
-export type FilterContinuations<IsCurrentInitial extends boolean = false> = {
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    value: V
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op: "gt" | "gte" | "lt" | "lte" | "neq",
-    value: V // only numbers?
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op: "startsWith" | "endsWith" | "contains" | "notContains" | "notStartsWith" | "notEndsWith",
-    value: FieldPathValue<TFieldValues, TFieldName> extends string ? string : never
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    const V extends readonly FieldPathValue<TFieldValues, TFieldName>[],
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op: "in" | "notIn",
-    value: V
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op:
-      | "includes"
-      | "notIncludes",
-    value: GetArV<V>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op:
-      | "includes-any"
-      | "notIncludes-any"
-      | "includes-all"
-      | "notIncludes-all",
-    value: readonly GetArV<V>[]
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(f: {
-    path: TFieldName
-    op: "eq"
-    value: V
-  }): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
-    : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-}
-
-export type FilterContinuationsWithSubpath = {
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>,
-    V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
-  >(
-    subPath: TFieldName,
-    restPath: TFieldNameSub,
-    value: V
-  ): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>,
-    V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
-  >(
-    subPath: TFieldName,
-    restPath: TFieldNameSub,
-    op: "gt" | "gte" | "lt" | "lte" | "neq",
-    value: V // only numbers?
-  ): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>
-  >(
-    subPath: TFieldName,
-    restPath: TFieldNameSub,
-    op: "startsWith" | "endsWith" | "contains" | "notContains" | "notStartsWith" | "notEndsWith",
-    value: FieldPathValue<TFieldValuesSub, TFieldNameSub> extends string ? string : never
-  ): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>,
-    const V extends readonly FieldPathValue<TFieldValuesSub, TFieldNameSub>[]
-  >(
-    subPath: TFieldName,
-    restPath: TFieldNameSub,
-    op: "in" | "notIn",
-    value: V
-  ): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>,
-    V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
-  >(
-    subPath: TFieldName,
-    restPath: TFieldNameSub,
-    op:
-      | "includes"
-      | "notIncludes",
-    value: GetArV<V>
-  ): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>,
-    V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
-  >(
-    subPath: TFieldName,
-    restPath: TFieldNameSub,
-    op:
-      | "includes-any"
-      | "notIncludes-any"
-      | "includes-all"
-      | "notIncludes-all",
-    value: readonly GetArV<V>[]
-  ): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    TFieldValuesSub extends TFieldValues[TFieldName][number],
-    TFieldNameSub extends FieldPath<TFieldValuesSub>,
-    V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
-  >(f: {
-    subPath: TFieldName
-    restPath: TFieldNameSub
-    op: "eq"
-    value: V
-  }): (
-    current: Query<TFieldValues>
-  ) => QueryWhere<TFieldValues>
-}
-
-/* dprint-ignore-start */
-export type RefineWithLiteral<
-  TFieldValues extends FieldValues,
-  TFieldName extends FieldPath<TFieldValues>,
-  V,
-  Exclde extends boolean = false
-> =
-  // refine only if the value is a primitive
-  [V] extends [string | number | boolean | null | bigint]
-    ? RefineFieldPathValue<TFieldValues, TFieldName, V, Exclde>
-    : TFieldValues
-/* dprint-ignore-end */
-
-export type FilteringRefinements<IsCurrentInitial extends boolean = false> = {
-  <
-    TFieldValues extends FieldValues,
-    const TFieldName extends FieldPath<TFieldValues>,
-    const V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    value: V
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<
-      TFieldValues,
-      // @ts-expect-error it's TS
-      RefineWithLiteral<TFieldValuesRefined, TFieldName, V>,
-      TFieldName extends "_tag" ? true : false // consider only _tag as an exclusive field and only in the positive case
-    >
-  <
-    TFieldValues extends FieldValues,
-    const TFieldName extends FieldPath<TFieldValues>,
-    const V extends FieldPathValue<TFieldValues, TFieldName>,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op: "neq",
-    value: V
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<
-      TFieldValues,
-      // @ts-expect-error it's TS
-      RefineWithLiteral<TFieldValuesRefined, TFieldName, V, true>,
-      E
-    >
-  <
-    TFieldValues extends FieldValues,
-    TFieldName extends FieldPath<TFieldValues>,
-    const V extends readonly FieldPathValue<TFieldValues, TFieldName>[],
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false
-  >(
-    path: TFieldName,
-    op: "in",
-    value: V
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues>
-      : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<
-    TFieldValues,
-    // @ts-expect-error it's TS
-    RefineWithLiteral<TFieldValuesRefined, TFieldName, NonNullable<V[number]>>,
-    E
-  >
-}
-
-export type NestedQueriesFixedRefinement<IsCurrentInitial extends boolean = false> = {
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>,
-    fi: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E8>) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>,
-    fi: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E8>) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E10>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E10>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>,
-    fi: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E8>) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E11>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E11>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>,
-    fi: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E8>) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E12>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E12>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false,
-    E13 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>,
-    fi: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E8>) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E12>,
-    fm: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E12>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E13>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E13>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false,
-    E13 extends boolean = false,
-    E14 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined, E2>,
-    fc: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E2>) => QueryWhere<TFieldValues, TFieldValuesRefined, E3>,
-    fd: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E3>) => QueryWhere<TFieldValues, TFieldValuesRefined, E4>,
-    fe: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E4>) => QueryWhere<TFieldValues, TFieldValuesRefined, E5>,
-    ff: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E5>) => QueryWhere<TFieldValues, TFieldValuesRefined, E6>,
-    fg: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E6>) => QueryWhere<TFieldValues, TFieldValuesRefined, E7>,
-    fh: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E7>) => QueryWhere<TFieldValues, TFieldValuesRefined, E8>,
-    fi: (query: QueryWhere<TFieldValues, TFieldValuesRefined, E8>) => QueryWhere<TFieldValues, TFieldValuesRefined, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E12>,
-    fm: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E12>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E13>,
-    fn: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined, E13>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined, E14>
-  ): (
-    current: IsCurrentInitial extends true ? Query<TFieldValues> : QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined, E14>
-}
-
-export type NestedQueriesFreeIntersectionRefinement = {
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined2, E2>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined3, E3>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined4, E4>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined5, E5>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined6, E6>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined7, E7>
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined8, E8>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined9, E9>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined10, E10>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined11, E11>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined12 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined12, E12>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined12, E12>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined12 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined13 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false,
-    E13 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined12, E12>,
-    fm: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined12, E12>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined13, E13>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined13, E13>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined12 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined13 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined14 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false,
-    E13 extends boolean = false,
-    E14 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined12, E12>,
-    fm: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined12, E12>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined13, E13>,
-    fn: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined13, E13>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined14, E14>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined & TFieldValuesRefined14, E14>
-}
-
-// to be safe, or forces the output to be exclusive because you can always or _tag filters
-export type NestedQueriesFreeDisjointRefinement = {
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined2, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined3, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined4, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined5, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined6, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined7, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined2, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined9, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined10, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined11, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined12 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined12, E12>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined12, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined12 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined13 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false,
-    E13 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined12, E12>,
-    fm: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined12, E12>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined13, E13>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined13, false>
-
-  <
-    TFieldValues extends FieldValues,
-    TFieldValuesRefined extends TFieldValues = TFieldValues,
-    TFieldValuesRefined2 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined3 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined4 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined5 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined6 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined7 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined8 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined9 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined10 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined11 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined12 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined13 extends TFieldValues = TFieldValues,
-    TFieldValuesRefined14 extends TFieldValues = TFieldValues,
-    E extends boolean = false,
-    E2 extends boolean = false,
-    E3 extends boolean = false,
-    E4 extends boolean = false,
-    E5 extends boolean = false,
-    E6 extends boolean = false,
-    E7 extends boolean = false,
-    E8 extends boolean = false,
-    E9 extends boolean = false,
-    E10 extends boolean = false,
-    E11 extends boolean = false,
-    E12 extends boolean = false,
-    E13 extends boolean = false,
-    E14 extends boolean = false
-  >(
-    fb: (current: Query<TFieldValues>) => QueryWhere<TFieldValues, TFieldValuesRefined2, E2>,
-    fc: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined2, E2>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined3, E3>,
-    fd: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined3, E3>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined4, E4>,
-    fe: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined4, E4>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined5, E5>,
-    ff: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined5, E5>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined6, E6>,
-    fg: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined6, E6>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined7, E7>,
-    fh: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined7, E7>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined8, E8>,
-    fi: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined8, E8>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined9, E9>,
-    fj: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined9, E9>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined10, E10>,
-    fk: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined10, E10>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined11, E11>,
-    fl: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined11, E11>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined12, E12>,
-    fm: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined12, E12>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined13, E13>,
-    fn: (
-      query: QueryWhere<TFieldValues, TFieldValuesRefined13, E13>
-    ) => QueryWhere<TFieldValues, TFieldValuesRefined14, E14>
-  ): (
-    current: QueryWhere<TFieldValues, TFieldValuesRefined, E>
-  ) => QueryWhere<TFieldValues, TFieldValuesRefined | TFieldValuesRefined14, false>
-}
-
-export type FilterWhere =
-  & NestedQueriesFixedRefinement<true>
-  & FilteringRefinements<true>
-  & FilterContinuations<true>
-
-export type FilterContinuationAnd =
-  & NestedQueriesFreeIntersectionRefinement
-  & FilteringRefinements
-  & FilterContinuations
-
-export type FilterContinuationOr =
-  & NestedQueriesFreeDisjointRefinement
-  & FilterContinuations
-
-// it does not support refinements by choice (for now)
-export type WhereEveryOrSome =
-  & {
-    <
-      TFieldValues extends FieldValues,
-      TFieldName extends FieldPath<TFieldValues>
-    >(
-      subPath: TFieldName,
-      dude: (
-        current: Query<TFieldValues[TFieldName][number]>
-      ) => QueryWhere<TFieldValues[TFieldName][number], TFieldValues[TFieldName][number], false>,
-      ...dudes: ((
-        current: QueryWhere<TFieldValues[TFieldName][number], TFieldValues[TFieldName][number], false>
-      ) => QueryWhere<TFieldValues[TFieldName][number], TFieldValues[TFieldName][number], false>)[]
-    ): (
-      current: Query<TFieldValues>
-    ) => QueryWhere<TFieldValues, TFieldValues, false>
-  }
-  & FilterContinuationsWithSubpath