export declare function make<A extends ReadonlyArray<Interpolated>>(
  strings: TemplateStringsArray,
  ...args: A
): Effect.Effect<string, Interpolated.Error<A[number]>, Interpolated.Context<A[number]>>

export declare function stream<A extends ReadonlyArray<InterpolatedWithStream>>(
  strings: TemplateStringsArray,
  ...args: A
): Stream.Stream<string, Interpolated.Error<A[number]>, Interpolated.Context<A[number]>>

export type Interpolated = Primitive | Option.Option<Primitive> | Effect.Effect<Primitive, any, any>

export type Context<A> = A extends infer T
  ? T extends Option.Option<infer _>
    ? never
    : T extends Stream.Stream<infer _A, infer _E, infer R>
      ? R
      : never
  : never

export type Error<A> = A extends infer T
  ? T extends Option.Option<infer _>
    ? never
    : T extends Stream.Stream<infer _A, infer E, infer _R>
      ? E
      : never
  : never

export type InterpolatedWithStream = Interpolated | Stream.Stream<Primitive, any, any>

export type Primitive = PrimitiveValue | ReadonlyArray<PrimitiveValue>

export type PrimitiveValue = string | number | bigint | boolean | null | undefined