Typescript inference based on key value

Question

Let say we have some coords of different type:

const coords2d = {
  x: 1,
  y: 2
}

const coords3d = {
  x: 1,
  y: 2,
  z: 3
}

We have map f