Utility types to extract parts of Get

[jrmdayn]

Sorry for the title which is quite obscure.. Let me explain what I am looking for, it will be more clear.

For a given data object:

const data = {
  foo: 42,
  bar: false
}

How can I type a getter function that given a path return the value at path?

const myFunction = (path: A):B => pipe(data,get(path))

myFunction('foo') // OK, =42
myFunction('bar') // OK, =false
myFunction('baz') // type error

Looking for what to put in type A and type B above. Is there some utility types I could use to achieve this?

Thanks 🙏