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

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

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

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

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

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

type Primitive = PrimitiveValue | ReadonlyArray<PrimitiveValue>

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