type RecurseKeys<O extends object, K extends keyof O> = [
  K,
  ...(O[K] extends object ? RecurseKeys<O[K], keyof O[K]> : [])
];

const pluck = <O extends object, K extends keyof O>(
  o: O,
  arg_0: K,
  ...args: O[K] extends object ? RecurseKeys<O[K], keyof O[K]> : never
) => {
  let r = o[arg_0];
  for (let k in args) {
    r = r[k];
  }

  return r;
};

const a = pluck({ a: { b: 2 }, c: { d: 3 } }, "c", "d");

type RecurseKeys<O extends object, K extends keyof O> = [
  K,
  ...(O[K] extends object ? RecurseKeys<O[K], keyof O[K]> : [])
];

const pluck = <O extends object, K extends keyof O>(
  o: O,
  arg_0: K,
  ...args: O[K] extends object ? RecurseKeys<O[K], keyof O[K]> : never
) => {
  let r = o[arg_0];
  for (let k in args) {
    r = r[k];
  }

  return r;
};

const a = pluck({ a: { b: 2 }, c: { d: 3 } }, "c", "d");