@effect-app/infra 4.0.0-beta.248 → 4.0.0-beta.249

package/src/Model/query/dsl.ts

@@ -1,2546 +0,0 @@
-/* eslint-disable @typescript-eslint/no-unsafe-assignment */
-/* eslint-disable @typescript-eslint/no-unsafe-argument */
-/* eslint-disable @typescript-eslint/no-explicit-any */
-import type * as Option from "effect-app/Option"
-import type * as S from "effect-app/Schema"
-import type { NonNegativeInt } from "effect-app/Schema"
-import * as Data from "effect/Data"
-import { flow } from "effect/Function"
-import * as Pipeable from "effect/Pipeable"
-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>
-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 ComputedProjectionOperation = (q: Query<any>) => QueryWhere<any, any, any>
-
-export type ComputedProjectionMathExpression =
-  | {
-    readonly _tag: "field"
-    readonly field: string
-  }
-  | {
-    readonly _tag: "mul"
-    readonly left: ComputedProjectionMathExpression
-    readonly right: ComputedProjectionMathExpression
-  }
-
-export type ComputedProjectionExpression =
-  | {
-    readonly _tag: "relation-count"
-    readonly path: string
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-any"
-    readonly path: string
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-every"
-    readonly path: string
-    readonly operation: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-distinct-count"
-    readonly path: string
-    readonly field: string
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-sum"
-    readonly path: string
-    readonly field: string
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-sum-expr"
-    readonly path: string
-    readonly expression: ComputedProjectionMathExpression
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-sum-expr-by"
-    readonly path: string
-    readonly expression: ComputedProjectionMathExpression
-    readonly unit: string
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-sum-expr-normalized"
-    readonly path: string
-    readonly expression: ComputedProjectionMathExpression
-    readonly unit: string
-    readonly toBase: string
-    readonly factors: Readonly<Record<string, number>>
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-collect"
-    readonly path: string
-    readonly field: string
-    readonly distinct: boolean
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-collect-fields"
-    readonly path: string
-    readonly fields: readonly string[]
-    readonly distinct: boolean
-    readonly operation?: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "relation-length"
-    readonly path: string
-  }
-
-/**
- * An expression that aggregates values across documents (for use with {@link aggregate}).
- * `agg-field` references a document field to group by; other tags are aggregate functions.
- */
-export type AggregateExpression =
-  | {
-    readonly _tag: "agg-field"
-    readonly path: string
-  }
-  | {
-    readonly _tag: "agg-count"
-  }
-  | {
-    readonly _tag: "agg-count-when"
-    readonly operation: ComputedProjectionOperation
-  }
-  | {
-    readonly _tag: "agg-sum"
-    readonly field: string
-  }
-  | {
-    readonly _tag: "agg-min"
-    readonly field: string
-  }
-  | {
-    readonly _tag: "agg-max"
-    readonly field: string
-  }
-
-export type AggregateMap = Readonly<Record<string, AggregateExpression>>
-
-export type ComputedProjectionMap = Readonly<Record<string, ComputedProjectionExpression>>
-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" | "aggregate"
-    computed?: ComputedProjectionMap
-    aggregateMap?: AggregateMap
-  }>
-  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 })
-
-/**
- * Attach a projection schema to a query.
- *
- * The `select` clause sent to the store is derived from the schema's encoded
- * AST property names (top-level + per-array sub-keys), so a projection always
- * narrows what is read from the store. The repository augments that select
- * with `id` and `_etag` for change tracking. See {@link toFilter} and the
- * dispatch in `Repository/internal/internal.ts`.
- *
- * Modes — pick based on shape of the decoded value and on whether the
- * persistence-model (PM) reverse-mapping is needed:
- *
- * - `"transform"` (default when `mode` omitted): goes through the repo's
- *   `parseMany` pipeline. The raw row is reverse-mapped via the
- *   etag/PM cache (re-injecting `_etag` and any PM-shape state) before
- *   decoding. Decode failures `orDie` (error channel = `never`). Use when
- *   the schema operates on the full PM shape (e.g. full-entity reads that
- *   must preserve etag tracking).
- *
- * - `"project"`: decodes the raw encoded row directly with the supplied
- *   schema. No PM reverse-mapping, no etag cache merge. Decode failures
- *   surface as `S.SchemaError`. Use for slim DTOs / aggregations that do not
- *   need etag tracking and whose schema input is a plain subset of `Encoded`.
- *
- * - `"collect"`: like `"project"`, but the schema yields `Option<A>` and
- *   `None` values are dropped post-decode (`Array.getSomes`). Use to filter
- *   rows during decode (e.g. discriminated-union narrowing where some rows
- *   should not appear in the result).
- */
-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)
-
-export const relation = <TFieldValues extends FieldValues>(
-  path: FieldPath<TFieldValues>
-) => ({
-  length: (): ComputedProjectionExpression => ({
-    _tag: "relation-length",
-    path: path as string
-  }),
-  count: (operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-count",
-        path: path as string,
-        operation
-      }
-      : {
-        _tag: "relation-count",
-        path: path as string
-      },
-  any: (operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-any",
-        path: path as string,
-        operation
-      }
-      : {
-        _tag: "relation-any",
-        path: path as string
-      },
-  every: (operation: ComputedProjectionOperation): ComputedProjectionExpression => ({
-    _tag: "relation-every",
-    path: path as string,
-    operation
-  }),
-  distinctCount: (field: string, operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-distinct-count",
-        path: path as string,
-        field,
-        operation
-      }
-      : {
-        _tag: "relation-distinct-count",
-        path: path as string,
-        field
-      },
-  sum: (field: string, operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-sum",
-        path: path as string,
-        field,
-        operation
-      }
-      : {
-        _tag: "relation-sum",
-        path: path as string,
-        field
-      },
-  sumExpr: (
-    expression: ComputedProjectionMathExpression,
-    operation?: ComputedProjectionOperation
-  ): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-sum-expr",
-        path: path as string,
-        expression,
-        operation
-      }
-      : {
-        _tag: "relation-sum-expr",
-        path: path as string,
-        expression
-      },
-  sumExprBy: (
-    expression: ComputedProjectionMathExpression,
-    options: { unit: string },
-    operation?: ComputedProjectionOperation
-  ): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-sum-expr-by",
-        path: path as string,
-        expression,
-        unit: options.unit,
-        operation
-      }
-      : {
-        _tag: "relation-sum-expr-by",
-        path: path as string,
-        expression,
-        unit: options.unit
-      },
-  sumExprNormalized: (
-    expression: ComputedProjectionMathExpression,
-    options: { unit: string; toBase: string; factors: Readonly<Record<string, number>> },
-    operation?: ComputedProjectionOperation
-  ): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-sum-expr-normalized",
-        path: path as string,
-        expression,
-        unit: options.unit,
-        toBase: options.toBase,
-        factors: options.factors,
-        operation
-      }
-      : {
-        _tag: "relation-sum-expr-normalized",
-        path: path as string,
-        expression,
-        unit: options.unit,
-        toBase: options.toBase,
-        factors: options.factors
-      },
-  collect: (field: string, operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-collect",
-        path: path as string,
-        field,
-        distinct: false,
-        operation
-      }
-      : {
-        _tag: "relation-collect",
-        path: path as string,
-        field,
-        distinct: false
-      },
-  collectDistinct: (field: string, operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-collect",
-        path: path as string,
-        field,
-        distinct: true,
-        operation
-      }
-      : {
-        _tag: "relation-collect",
-        path: path as string,
-        field,
-        distinct: true
-      },
-  collectFields: (fields: readonly string[], operation?: ComputedProjectionOperation): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-collect-fields",
-        path: path as string,
-        fields,
-        distinct: false,
-        operation
-      }
-      : {
-        _tag: "relation-collect-fields",
-        path: path as string,
-        fields,
-        distinct: false
-      },
-  collectDistinctFields: (
-    fields: readonly string[],
-    operation?: ComputedProjectionOperation
-  ): ComputedProjectionExpression =>
-    operation
-      ? {
-        _tag: "relation-collect-fields",
-        path: path as string,
-        fields,
-        distinct: true,
-        operation
-      }
-      : {
-        _tag: "relation-collect-fields",
-        path: path as string,
-        fields,
-        distinct: true
-      }
-})
-
-export const expr = {
-  field: (field: string): ComputedProjectionMathExpression => ({ _tag: "field", field }),
-  mul: (
-    left: ComputedProjectionMathExpression,
-    right: ComputedProjectionMathExpression
-  ): ComputedProjectionMathExpression => ({ _tag: "mul", left, right })
-} as const
-
-export const computed = <T extends ComputedProjectionMap>(value: T): T => value
-
-export const projectComputed: {
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
-    I extends Record<string, unknown>,
-    A = ExtractFieldValuesRefined<Q>,
-    R = never,
-    E extends boolean = ExtractExclusiveness<Q>
-  >(
-    schema: S.Codec<Option.Option<A>, I, R>,
-    computedProjection: ComputedProjectionMap,
-    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 extends Record<string, unknown>,
-    A = ExtractFieldValuesRefined<Q>,
-    R = never,
-    E extends boolean = ExtractExclusiveness<Q>
-  >(
-    schema: S.Codec<A, I, R>,
-    computedProjection: ComputedProjectionMap,
-    mode?: "project"
-  ): (
-    current: Q
-  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
-} = (schema: any, computedProjection: ComputedProjectionMap, mode = "project") => (current: any) =>
-  new Project({ current, schema, mode, computed: computedProjection } as any)
-
-/**
- * DSL helpers for building aggregate expressions used with {@link aggregate}.
- *
- * - `agg.field(path)` — references a document field for GROUP BY (with optional output alias)
- * - `agg.count()` — COUNT(*) across all rows in the group
- * - `agg.countWhen(op)` — COUNT of rows matching the filter operation
- * - `agg.sum(field)` — SUM of a numeric document field
- * - `agg.min(field)` / `agg.max(field)` — MIN/MAX of a document field
- */
-export const agg = {
-  field: (path: string): AggregateExpression => ({ _tag: "agg-field", path }),
-  count: (): AggregateExpression => ({ _tag: "agg-count" }),
-  countWhen: (operation: ComputedProjectionOperation): AggregateExpression => ({
-    _tag: "agg-count-when",
-    operation
-  }),
-  sum: (field: string): AggregateExpression => ({ _tag: "agg-sum", field }),
-  min: (field: string): AggregateExpression => ({ _tag: "agg-min", field }),
-  max: (field: string): AggregateExpression => ({ _tag: "agg-max", field })
-} as const
-
-/**
- * Attach an aggregate projection to a query, performing GROUP BY + aggregate functions at the
- * database level instead of fetching all rows and grouping in memory.
- *
- * The `aggregateMap` maps each output field name to either:
- * - `agg.field(path)` — a group-by field (document path → output alias)
- * - `agg.count()` / `agg.countWhen(op)` / `agg.sum(f)` / `agg.min(f)` / `agg.max(f)` — an aggregate
- *
- * The output is decoded directly with `schema` (no PM reverse-mapping, no etag tracking).
- * Decode failures surface as `S.SchemaError`.
- *
- * @example
- * ```ts
- * repo.query(
- *   where("status", "active"),
- *   aggregate(
- *     S.Struct({ city: S.String, count: S.Number }),
- *     {
- *       city: agg.field("address.city"),
- *       count: agg.countWhen((q) => q.pipe(where("active", true)))
- *     }
- *   )
- * )
- * ```
- */
-export const aggregate: {
-  <
-    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
-    I extends Record<string, unknown>,
-    A = ExtractFieldValuesRefined<Q>,
-    R = never,
-    E extends boolean = ExtractExclusiveness<Q>
-  >(
-    schema: S.Codec<A, I, R>,
-    aggregateMap: AggregateMap
-  ): (
-    current: Q
-  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
-} = (schema: any, aggregateMap: AggregateMap) => (current: any) =>
-  new Project({ current, schema, mode: "aggregate", aggregateMap } 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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-
-  <
-    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>
-}
-
-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]>,
-      ...dudes: ((
-        current: QueryWhere<TFieldValues[TFieldName][number], TFieldValues[TFieldName][number]>
-      ) => QueryWhere<TFieldValues[TFieldName][number], TFieldValues[TFieldName][number]>)[]
-    ): (
-      current: Query<TFieldValues>
-    ) => QueryWhere<TFieldValues, TFieldValues>
-  }
-  & FilterContinuationsWithSubpath