Narrowing possible return types inside a function based on parameter

Question

I\'d like to write a function that takes an interface and one of the keys in the interface, then returns the type in the value field on the corresponding interf