TypeScript type alias to pick values of an object matching a set of arbitratry keys that may or may not exist in the object

Question

Consider the following:

type X = {foo: string};
type Y = {foo: number};
type Z = {foo: string, bar: number};
type W = {bar: string};
type Q = {baz: string};

type