effect-app 4.0.0-beta.32 → 4.0.0-beta.321

package/src/Model/query/dsl.ts

@@ -0,0 +1,3092 @@
+/* eslint-disable @typescript-eslint/no-unsafe-assignment */
+/* eslint-disable @typescript-eslint/no-unsafe-argument */
+/* eslint-disable @typescript-eslint/no-explicit-any */
+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 * as Option from "../../Option.ts"
+import type * as S from "../../Schema.ts"
+import type { NonNegativeInt } from "../../Schema.ts"
+import type { Ops } from "../filter/filterApi.ts"
+import type { FieldValues } from "../filter/types.ts"
+import type { FieldPath, FieldPathValue, RefineFieldPathValue } from "../filter/types/path/eager.ts"
+
+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 ExtractFieldValues<T> = T extends QueryTogether<infer TFieldValues, any, any, any, any, any, any> ? TFieldValues
+  : never
+type ExtractFieldValuesRefined<T> = T extends QueryTogether<any, infer TFieldValuesRefined, any, any, any, any, any>
+  ? TFieldValuesRefined
+  : never
+type KeysOfUnion<T> = T extends T ? keyof T : never
+/** Peel Schema `tag`/`Literal` brands down to the underlying literal value. */
+type LiteralValue<T> = T extends { readonly literal: infer L } ? L
+  : T extends string | number | boolean | null | bigint ? T
+  // Schema.tag<"x"> / withConstructorDefault wrappers are object brands whose
+  // nominal shape is not a PropertyKey — fall back to never so callers treat
+  // them via UnwrapTag below.
+  : never
+// Last-resort: if T is a single object brand wrapping a string literal in its
+// structure, treat non-union object tags as single-literal for same-tag duals.
+type TagKey<T> = [LiteralValue<T>] extends [never] ? (
+    string extends T ? string
+      : [T] extends [PropertyKey] ? T
+      // object brand (e.g. tag<"packing">): treat as single opaque tag token
+      : T
+  )
+  : LiteralValue<T>
+// One-directional: domain tag may be a single literal that is a member of a
+// multi-tag projection (`"picking" extends "picking"|"picked"`). Bidirectional
+// equality would reject every multi-tag flat projection.
+type ExtractTagged<From, Tag> = From extends { readonly _tag: infer FromTag }
+  ? [TagKey<FromTag>] extends [TagKey<Tag>] ? From : never
+  : never
+type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never
+/**
+ * True when `Tag` is a single tag token (string literal or opaque brand like
+ * Schema.tag<"packing">), not a union of tags and not bare `string`.
+ */
+type IsSingleLiteralTag<Tag> = string extends Tag ? false
+  : [Tag] extends [UnionToIntersection<Tag>] ? true
+  : false
+/**
+ * Domain shape that may supply stored fields for projection member `I`.
+ *
+ * - True tagged unions (`A | B` with different fields per `_tag`) resolve to the
+ *   matching member so state-owned keys are not treated as universal.
+ * - Flat models that only carry `_tag: "a" | "b"` on a shared shape (no
+ *   per-tag members in the Encoded union) fall back to the full `From` so
+ *   existing Class+Literals projections keep typechecking.
+ */
+type ProjectableSource<I, From> = I extends { readonly _tag: infer Tag } ? (
+    [ExtractTagged<From, Tag>] extends [never] ? From : ExtractTagged<From, Tag>
+  )
+  : From
+
+/**
+ * One projection member is projectable when every key is either:
+ * - in `ExtraKeys` (computed by the query / not stored on the domain row), or
+ * - a key of the matching domain source member (key presence only; nested
+ *   field types may be narrowed by the projection).
+ *
+ * Uses `keyof Source` (not `KeysOfUnion` of the whole domain union) so a field
+ * owned only by some tags cannot be required on every branch — except for a
+ * single literal tag that maps to several domain variants (same `_tag`,
+ * different payloads), where `KeysOfUnion` allows each variant's keys.
+ */
+/**
+ * Keys the domain may supply for projection member `I`.
+ * - Single-literal tagged `I` (`_tag: "packing"`): keys of *any* same-tag
+ *   domain variant (`KeysOfUnion`) — dual packing/closed shapes stay projectable.
+ * - Multi-tag / string-tagged `I` (`_tag: "a"|"b"` or `string`): keys of the
+ *   *intersection* of matched domain members (`keyof` of the source union) so
+ *   a flat multi-tag DTO cannot claim state-only fields (e.g. `batchId` on
+ *   `initial`).
+ * - Untagged `I` (plain project DTOs): keys present on *any* domain member
+ *   (`KeysOfUnion`), matching historical `project()` behavior.
+ */
+type ProjectableDomainKeys<I, From> = I extends { readonly _tag: infer Tag } ? (
+    IsSingleLiteralTag<Tag> extends true ? KeysOfUnion<ProjectableSource<I, From>>
+      : keyof ProjectableSource<I, From>
+  )
+  : KeysOfUnion<From>
+
+/**
+ * Keys on projection member `I` that are neither computed (`ExtraKeys`) nor
+ * present on the matching domain source. Key presence only — nested field
+ * types may be narrowed by the projection, and optional domain/projection
+ * keys must not fail via `{ k?: T } extends { k: T }` (the old `-?` mapped
+ * assignability check rejected legitimate optionalKey fields like closed.batchId).
+ */
+type UnprojectableKeys<I, From, ExtraKeys extends PropertyKey> = {
+  [K in keyof I]-?: K extends ExtraKeys ? never
+    : K extends ProjectableDomainKeys<I, From> ? never
+    : K
+}[keyof I]
+
+/**
+ * Distribute over tagged-union projection Encoded types. A non-distributive
+ * check against a union only sees `keyof (A|B)` (key intersection) and misses
+ * branch-only fields like cancel-only omissions.
+ */
+type IsProjectableMember<I, From, ExtraKeys extends PropertyKey> = [I] extends [FieldValues]
+  ? ([UnprojectableKeys<I, From, ExtraKeys>] extends [never] ? true : false)
+  : false
+
+/**
+ * `unknown` when every member of projection Encoded `I` is projectable from
+ * domain Encoded `From` (plus optional ExtraKeys for computed fields); `never`
+ * otherwise — use as an intersection constraint on a schema argument.
+ */
+type ProjectableGuard<I, From, ExtraKeys extends PropertyKey = never> = false extends (
+  I extends any ? IsProjectableMember<I, From, ExtraKeys> : never
+) ? never
+  : unknown
+
+/**
+ * Compile-time proof that a projection Encoded shape only requires stored keys
+ * that exist on the matching domain tagged state (or non-tagged source), plus
+ * any `ExtraKeys` filled by `projectComputed` (counts, flags, collects, …).
+ *
+ * Catches the class of Overview.List SchemaError where a cancel/recovery state
+ * omits a workflow lock field (`activeRequest`) in the domain model but the
+ * projection still requires it on every branch.
+ *
+ * @example
+ * ```ts
+ * type _ok = ProjectableFromDomain<
+ *   { readonly _tag: "cancelled"; readonly id: string },
+ *   DomainEnc
+ * > // unknown
+ *
+ * type _bad = ProjectableFromDomain<
+ *   { readonly _tag: "cancelled"; readonly id: string; readonly activeRequest: null },
+ *   DomainEnc
+ * > // never — activeRequest is not on domain cancelled
+ * ```
+ */
+export type ProjectableFromDomain<
+  ProjectionEncoded,
+  DomainEncoded,
+  ExtraKeys extends PropertyKey = never
+> = ProjectableGuard<ProjectionEncoded, DomainEncoded, ExtraKeys>
+
+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
+  }
+
+declare const ComputedProjectionExpressionTypeId: unique symbol
+
+type ComputedProjectionOutput<A> = {
+  readonly [ComputedProjectionExpressionTypeId]?: Covariant<A>
+}
+
+export type ComputedProjectionExpression<A = unknown> =
+  & ComputedProjectionOutput<A>
+  & (
+    | {
+      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
+    }
+  )
+
+type NoExtraComputedKeys<M extends ComputedProjectionMap, I> = string extends keyof M ? unknown
+  : Exclude<keyof M, KeysOfUnion<I>> extends never ? unknown
+  : never
+
+/**
+ * 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 extends ExtractFieldValuesRefined<Q>,
+    A = ExtractFieldValuesRefined<Q>,
+    R = never,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: S.Codec<Option.Option<A>, I, 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 extends ExtractFieldValuesRefined<Q>,
+    A = ExtractFieldValuesRefined<Q>,
+    R = never,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: S.Codec<A, I, 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 extends ExtractFieldValuesRefined<Q>,
+    A = ExtractFieldValuesRefined<Q>,
+    R = never,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: S.Codec<A, I, R>
+  ): (
+    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 FieldValues,
+    A,
+    R = never,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema:
+      & S.Codec<Option.Option<A>, I, R>
+      & ProjectableGuard<I, ExtractFieldValues<Q>>,
+    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 FieldValues,
+    A,
+    R = never,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema:
+      & S.Codec<A, I, R>
+      & ProjectableGuard<I, ExtractFieldValues<Q>>,
+    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 extends FieldValues,
+    A,
+    R = never,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema:
+      & S.Codec<A, I, R>
+      & ProjectableGuard<I, ExtractFieldValues<Q>>
+  ): (
+    current: Q
+  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
+} = (schema: any, mode = "transform") => (current: any) => new Project({ current, schema, mode } as any)
+
+/**
+ * Element type of an array-valued field path on `TFieldValues`. Falls back to
+ * `FieldValues` when the path does not resolve to an array of structs so that
+ * `FieldPath<...>` stays defined (it just degrades to `string`).
+ *
+ * Uses `Extract` so that when `P` defaults to the full `FieldPath<TFieldValues>`
+ * union, only the array-valued branches contribute to the element type.
+ */
+export type RelationElement<
+  TFieldValues extends FieldValues,
+  P extends FieldPath<TFieldValues>
+> = Extract<FieldPathValue<TFieldValues, P>, ReadonlyArray<unknown>> extends ReadonlyArray<infer E>
+  ? (E extends FieldValues ? E : FieldValues)
+  : FieldValues
+
+export const relation = <
+  TFieldValues extends FieldValues,
+  const P extends FieldPath<TFieldValues> = FieldPath<TFieldValues>
+>(
+  path: P
+) => ({
+  /**
+   * Typed math-expression builder bound to the relation's element scope:
+   * `relation("items").expr.field("weight")` constrains the field path to
+   * `FieldPath<RelationElement<TFieldValues, P>>`.
+   */
+  expr: {
+    field: (field: FieldPath<RelationElement<TFieldValues, P>>): ComputedProjectionMathExpression => ({
+      _tag: "field",
+      field
+    }),
+    mul: (
+      left: ComputedProjectionMathExpression,
+      right: ComputedProjectionMathExpression
+    ): ComputedProjectionMathExpression => ({ _tag: "mul", left, right })
+  },
+  length: (): ComputedProjectionExpression<number> => ({
+    _tag: "relation-length",
+    path
+  }),
+  count: (operation?: ComputedProjectionOperation): ComputedProjectionExpression<number> =>
+    operation
+      ? {
+        _tag: "relation-count",
+        path,
+        operation
+      }
+      : {
+        _tag: "relation-count",
+        path
+      },
+  any: (operation?: ComputedProjectionOperation): ComputedProjectionExpression<boolean> =>
+    operation
+      ? {
+        _tag: "relation-any",
+        path,
+        operation
+      }
+      : {
+        _tag: "relation-any",
+        path
+      },
+  every: (operation: ComputedProjectionOperation): ComputedProjectionExpression<boolean> => ({
+    _tag: "relation-every",
+    path,
+    operation
+  }),
+  distinctCount: <const F extends FieldPath<RelationElement<TFieldValues, P>>>(
+    field: F,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<number> =>
+    operation
+      ? {
+        _tag: "relation-distinct-count",
+        path,
+        field,
+        operation
+      }
+      : {
+        _tag: "relation-distinct-count",
+        path,
+        field
+      },
+  sum: <const F extends FieldPath<RelationElement<TFieldValues, P>>>(
+    field: F,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<number> =>
+    operation
+      ? {
+        _tag: "relation-sum",
+        path,
+        field,
+        operation
+      }
+      : {
+        _tag: "relation-sum",
+        path,
+        field
+      },
+  sumExpr: (
+    expression: ComputedProjectionMathExpression,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<number> =>
+    operation
+      ? {
+        _tag: "relation-sum-expr",
+        path,
+        expression,
+        operation
+      }
+      : {
+        _tag: "relation-sum-expr",
+        path,
+        expression
+      },
+  sumExprBy: <const F extends FieldPath<RelationElement<TFieldValues, P>>>(
+    expression: ComputedProjectionMathExpression,
+    options: { unit: F },
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<
+    ReadonlyArray<{ readonly unit: FieldPathValue<RelationElement<TFieldValues, P>, F>; readonly total: number }>
+  > =>
+    operation
+      ? {
+        _tag: "relation-sum-expr-by",
+        path,
+        expression,
+        unit: options.unit,
+        operation
+      }
+      : {
+        _tag: "relation-sum-expr-by",
+        path,
+        expression,
+        unit: options.unit
+      },
+  sumExprNormalized: (
+    expression: ComputedProjectionMathExpression,
+    options: {
+      unit: FieldPath<RelationElement<TFieldValues, P>>
+      toBase: string
+      factors: Readonly<Record<string, number>>
+    },
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<number> =>
+    operation
+      ? {
+        _tag: "relation-sum-expr-normalized",
+        path,
+        expression,
+        unit: options.unit,
+        toBase: options.toBase,
+        factors: options.factors,
+        operation
+      }
+      : {
+        _tag: "relation-sum-expr-normalized",
+        path,
+        expression,
+        unit: options.unit,
+        toBase: options.toBase,
+        factors: options.factors
+      },
+  collect: <const F extends FieldPath<RelationElement<TFieldValues, P>>>(
+    field: F,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<ReadonlyArray<FieldPathValue<RelationElement<TFieldValues, P>, F>>> =>
+    operation
+      ? {
+        _tag: "relation-collect",
+        path,
+        field,
+        distinct: false,
+        operation
+      }
+      : {
+        _tag: "relation-collect",
+        path,
+        field,
+        distinct: false
+      },
+  collectDistinct: <const F extends FieldPath<RelationElement<TFieldValues, P>>>(
+    field: F,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<ReadonlyArray<FieldPathValue<RelationElement<TFieldValues, P>, F>>> =>
+    operation
+      ? {
+        _tag: "relation-collect",
+        path,
+        field,
+        distinct: true,
+        operation
+      }
+      : {
+        _tag: "relation-collect",
+        path,
+        field,
+        distinct: true
+      },
+  collectFields: <const F extends readonly FieldPath<RelationElement<TFieldValues, P>>[]>(
+    fields: F,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<
+    ReadonlyArray<FieldPathValue<RelationElement<TFieldValues, P>, F[number]>>
+  > =>
+    operation
+      ? {
+        _tag: "relation-collect-fields",
+        path,
+        fields,
+        distinct: false,
+        operation
+      }
+      : {
+        _tag: "relation-collect-fields",
+        path,
+        fields,
+        distinct: false
+      },
+  collectDistinctFields: <const F extends readonly FieldPath<RelationElement<TFieldValues, P>>[]>(
+    fields: F,
+    operation?: ComputedProjectionOperation
+  ): ComputedProjectionExpression<
+    ReadonlyArray<FieldPathValue<RelationElement<TFieldValues, P>, F[number]>>
+  > =>
+    operation
+      ? {
+        _tag: "relation-collect-fields",
+        path,
+        fields,
+        distinct: true,
+        operation
+      }
+      : {
+        _tag: "relation-collect-fields",
+        path,
+        fields,
+        distinct: true
+      }
+})
+
+/**
+ * Untyped math-expression builder. Field paths are not statically validated —
+ * prefer the scope-bound `relation(path).expr` builder when the element type
+ * is known, since it constrains the field argument to `FieldPath<E>`.
+ *
+ * The generic parameter is accepted for symmetry with the scoped builder so
+ * callers may opt into a tighter check via `expr.field<E>("x")`.
+ */
+export const expr = {
+  field: <T extends FieldValues = FieldValues>(
+    field: FieldPath<T>
+  ): 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
+
+/**
+ * Helpers passed to the inline-builder form of {@link projectComputed}. The
+ * `relation` factory is bound to the source row shape so paths/fields inside
+ * the projection are validated against the document shape inferred from the
+ * pipe.
+ */
+export interface ComputedHelpers<TFieldValues extends FieldValues> {
+  relation: <const P extends FieldPath<TFieldValues>>(path: P) => ReturnType<typeof relation<TFieldValues, P>>
+}
+
+const makeComputedHelpers = <TFieldValues extends FieldValues>(): ComputedHelpers<TFieldValues> => ({
+  relation: (path) => relation<TFieldValues, typeof path>(path)
+})
+
+/**
+ * Only treat computed-map keys as ExtraKeys when `M` is a concrete object type.
+ * `ComputedProjectionMap` is `Record<string, …>`, so `keyof M` is `string` and
+ * would otherwise allow every projection field as "computed".
+ */
+type ConcreteComputedKeys<M> = string extends keyof M ? never : Extract<keyof M, PropertyKey>
+
+/**
+ * Proof that projection Encoded `I` is projectable from domain Encoded, allowing
+ * concrete computed keys. Intersected onto the computed-map argument so
+ * inference of `M` is complete before the check runs.
+ */
+type ProjectableComputedMap<
+  M extends ComputedProjectionMap,
+  I extends FieldValues,
+  Domain
+> =
+  & M
+  & NoExtraComputedKeys<M, I>
+  & (
+    [ProjectableGuard<I, Domain, ConcreteComputedKeys<M>>] extends [never] ? {
+        readonly __projectableFromDomain:
+          "projection fields must exist on the matching domain tagged state or be computed keys"
+      }
+      : unknown
+  )
+
+export const projectComputed: {
+  <
+    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
+    Schema extends S.Codec<any, FieldValues, any>,
+    M extends ComputedProjectionMap,
+    I extends FieldValues = S.Codec.Encoded<Schema>,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: Schema,
+    build: (helpers: ComputedHelpers<ExtractFieldValues<Q>>) => ProjectableComputedMap<M, I, ExtractFieldValues<Q>>,
+    mode: "collect"
+  ): (
+    current: Q
+  ) => QueryProjection<
+    ExtractFieldValuesRefined<Q>,
+    S.Schema.Type<Schema> extends Option.Option<infer A> ? A : never,
+    never,
+    ExtractTType<Q>,
+    E
+  >
+
+  <
+    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
+    Schema extends S.Codec<any, FieldValues, any>,
+    M extends ComputedProjectionMap,
+    I extends FieldValues = S.Codec.Encoded<Schema>,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: Schema,
+    build: (helpers: ComputedHelpers<ExtractFieldValues<Q>>) => ProjectableComputedMap<M, I, ExtractFieldValues<Q>>,
+    mode?: "project"
+  ): (
+    current: Q
+  ) => QueryProjection<ExtractFieldValuesRefined<Q>, S.Schema.Type<Schema>, never, ExtractTType<Q>, E>
+
+  <
+    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
+    Schema extends S.Codec<any, FieldValues, any>,
+    M extends ComputedProjectionMap,
+    I extends FieldValues = S.Codec.Encoded<Schema>,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: Schema,
+    computedProjection: ProjectableComputedMap<M, I, ExtractFieldValues<Q>>,
+    mode: "collect"
+  ): (
+    current: Q
+  ) => QueryProjection<
+    ExtractFieldValuesRefined<Q>,
+    S.Schema.Type<Schema> extends Option.Option<infer A> ? A : never,
+    never,
+    ExtractTType<Q>,
+    E
+  >
+
+  <
+    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
+    Schema extends S.Codec<any, FieldValues, any>,
+    M extends ComputedProjectionMap,
+    I extends FieldValues = S.Codec.Encoded<Schema>,
+    E extends boolean = ExtractExclusiveness<Q>
+  >(
+    schema: Schema,
+    computedProjection: ProjectableComputedMap<M, I, ExtractFieldValues<Q>>,
+    mode?: "project"
+  ): (
+    current: Q
+  ) => QueryProjection<ExtractFieldValuesRefined<Q>, S.Schema.Type<Schema>, never, ExtractTType<Q>, E>
+} = (
+  schema: any,
+  mapOrBuild:
+    | ComputedProjectionMap
+    | ((helpers: ComputedHelpers<FieldValues>) => ComputedProjectionMap),
+  mode = "project"
+) =>
+(current: any) => {
+  const computedProjection = typeof mapOrBuild === "function"
+    ? mapOrBuild(makeComputedHelpers())
+    : mapOrBuild
+  return new Project({ current, schema, mode, computed: computedProjection })
+}
+
+/**
+ * Builder shape returned by {@link agg}. Field-taking methods are constrained
+ * to `FieldPath<TFieldValues>` so paths are validated against the document
+ * shape.
+ */
+export interface AggBuilder<TFieldValues extends FieldValues> {
+  field: (path: FieldPath<TFieldValues>) => AggregateExpression
+  count: () => AggregateExpression
+  countWhen: (operation: ComputedProjectionOperation) => AggregateExpression
+  sum: (field: FieldPath<TFieldValues>) => AggregateExpression
+  min: (field: FieldPath<TFieldValues>) => AggregateExpression
+  max: (field: FieldPath<TFieldValues>) => AggregateExpression
+}
+
+const makeAggBuilder = <TFieldValues extends FieldValues>(): AggBuilder<TFieldValues> => ({
+  field: (path) => ({ _tag: "agg-field", path }),
+  count: () => ({ _tag: "agg-count" }),
+  countWhen: (operation) => ({ _tag: "agg-count-when", operation }),
+  sum: (field) => ({ _tag: "agg-sum", field }),
+  min: (field) => ({ _tag: "agg-min", field }),
+  max: (field) => ({ _tag: "agg-max", field })
+})
+
+/**
+ * Scope-bound aggregate-expression builder factory. Invoke with the source
+ * document field-value shape to get a builder whose `field`/`sum`/`min`/`max`
+ * arguments are constrained to `FieldPath<TFieldValues>`.
+ *
+ * Prefer the inline callback form of {@link aggregate} (`aggregate(schema,
+ * ($) => ({...}))`) — there the source shape is inferred from the pipe so no
+ * explicit type argument is needed. This factory is the escape hatch when
+ * the builder is constructed outside the pipe.
+ */
+export const agg = <TFieldValues extends FieldValues = FieldValues>(): AggBuilder<TFieldValues> =>
+  makeAggBuilder<TFieldValues>()
+
+/**
+ * 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.
+ *
+ * Pass a builder callback to get a typed `agg` bound to the source row shape
+ * (inferred from the pipe — no explicit generic needed):
+ *
+ * @example
+ * ```ts
+ * repo.query(
+ *   where("status", "active"),
+ *   aggregate(
+ *     S.Struct({ city: S.String, count: S.Number }),
+ *     ($) => ({
+ *       city: $.field("address.city"),
+ *       count: $.countWhen((q) => q.pipe(where("active", true)))
+ *     })
+ *   )
+ * )
+ * ```
+ *
+ * A plain {@link AggregateMap} is also accepted for the rare case where the
+ * map is built outside the pipe (loses path inference).
+ *
+ * The output is decoded directly with `schema` (no PM reverse-mapping, no etag tracking).
+ * Decode failures surface as `S.SchemaError`.
+ */
+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>,
+    build: (agg: AggBuilder<ExtractFieldValuesRefined<Q>>) => AggregateMap
+  ): (
+    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>,
+    aggregateMap: AggregateMap
+  ): (
+    current: Q
+  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
+} = (schema: any, mapOrBuild: AggregateMap | ((agg: AggBuilder<FieldValues>) => AggregateMap)) => (current: any) => {
+  const aggregateMap = typeof mapOrBuild === "function"
+    ? mapOrBuild(makeAggBuilder())
+    : mapOrBuild
+  return new Project({ current, schema, mode: "aggregate", aggregateMap } as any)
+}
+
+type GetArV<T> = T extends ReadonlySet<infer R> ? R
+  : T extends readonly (infer R)[] ? R
+  : never
+
+type GetMapK<T> = T extends ReadonlyMap<infer K, infer _V> ? K : never
+type GetMapV<T> = T extends ReadonlyMap<infer _K, infer V> ? V : never
+type GetMapEntry<T> = T extends ReadonlyMap<infer K, infer V> ? readonly [K, V] : never
+
+type InValues<T> = readonly T[] | ReadonlySet<T>
+
+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>,
+    TFieldValuesRefined extends TFieldValues = TFieldValues,
+    E extends boolean = false
+  >(
+    path: TFieldName,
+    op: "in" | "notIn",
+    value: InValues<FieldPathValue<TFieldValues, TFieldName>>
+  ): (
+    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: InValues<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: "hasKey" | "notHasKey",
+    value: GetMapK<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: "hasValue" | "notHasValue",
+    value: GetMapV<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: "hasKeyValue" | "notHasKeyValue",
+    value: GetMapEntry<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: "hasKey-any" | "notHasKey-any" | "hasKey-all" | "notHasKey-all",
+    value: InValues<GetMapK<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: "hasValue-any" | "notHasValue-any" | "hasValue-all" | "notHasValue-all",
+    value: InValues<GetMapV<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: "hasKeyValue-any" | "notHasKeyValue-any" | "hasKeyValue-all" | "notHasKeyValue-all",
+    value: InValues<GetMapEntry<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>,
+    V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+  >(
+    subPath: TFieldName,
+    restPath: TFieldNameSub,
+    op: "in" | "notIn",
+    value: InValues<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: InValues<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: "hasKey" | "notHasKey",
+    value: GetMapK<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: "hasValue" | "notHasValue",
+    value: GetMapV<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: "hasKeyValue" | "notHasKeyValue",
+    value: GetMapEntry<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: "hasKey-any" | "notHasKey-any" | "hasKey-all" | "notHasKey-all",
+    value: InValues<GetMapK<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: "hasValue-any" | "notHasValue-any" | "hasValue-all" | "notHasValue-all",
+    value: InValues<GetMapV<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: "hasKeyValue-any" | "notHasKeyValue-any" | "hasKeyValue-all" | "notHasKeyValue-all",
+    value: InValues<GetMapEntry<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