Understanding `Effect.updateService` and Layer Provisioning in Effect Typescript

class SomeServiceLevelDep extends Context.Tag("SomeServiceLevelDep")<SomeServiceLevelDep, number>() {
  static Default = Layer.succeed(this, 2);
}

const makeSomeService = Effect.gen(function* () {
  const serviceLevelDep = yield* SomeServiceLevelDep;

  return {
    doSomething: () =>
      Effect.gen(function* () {
        return `${serviceLevelDep + 1}`;
      }),
  };
});

class SomeService extends Context.Tag("SomeService")<
  SomeService,
  Effect.Effect.Success<typeof makeSomeService>
>() {
  static readonly Default = Layer.effect(this, makeSomeService).pipe(
    Layer.provide(SomeServiceLevelDep.Default),
  );
}

const program = await Effect.gen(function* () {
  const service = yield* SomeService.pipe(Effect.updateService(SomeServiceLevelDep, () => 1));
  const result = yield* service.doSomething();
  yield* Effect.log("result", result);
}).pipe(
  Effect.provide([Logger.pretty, SomeService.Default, SomeServiceLevelDep.Default]),
  Effect.runPromise,
);

class SomeServiceLevelDep extends Context.Tag("SomeServiceLevelDep")<SomeServiceLevelDep, number>() {
  static Default = Layer.succeed(this, 2);
}

const makeSomeService = Effect.gen(function* () {
  const serviceLevelDep = yield* SomeServiceLevelDep;

  return {
    doSomething: () =>
      Effect.gen(function* () {
        return `${serviceLevelDep + 1}`;
      }),
  };
});

class SomeService extends Context.Tag("SomeService")<
  SomeService,
  Effect.Effect.Success<typeof makeSomeService>
>() {
  static readonly Default = Layer.effect(this, makeSomeService).pipe(
    Layer.provide(SomeServiceLevelDep.Default),
  );
}

const program = await Effect.gen(function* () {
  const service = yield* SomeService.pipe(Effect.updateService(SomeServiceLevelDep, () => 1));
  const result = yield* service.doSomething();
  yield* Effect.log("result", result);
}).pipe(
  Effect.provide([Logger.pretty, SomeService.Default, SomeServiceLevelDep.Default]),
  Effect.runPromise,
);