Issue with Type Inference in Effect.Service with Generic Keys

type ModelMap<T> = {
  [K in ModelProviders]: Record<
    Extract<ModelIdentifier, { provider: K }>["id"],
    T
  >;
};

declare const map: ModelMap<number>;

const fn = <P extends keyof typeof map, I extends keyof (typeof map)[P]>(
  provider: P,
  id: I,
) => map[provider][id];

const x = fn("anthropic", "claude-3-5-sonnet-latest"); // resolves to x: number

class AiModel extends Effect.Service<AiModel>()("@4nswer/AiModel", {
  accessors: true,
  effect: <P extends keyof typeof map, I extends keyof (typeof map)[P]>(
    provider: P,
    id: I,
  ) => Effect.succeed({ x: provider, y: id }),
}) {}

// this is the resolved type of the AiModel interface:
(property) {
    x: "openai" | "anthropic";
    y: never;
}