type KeyValuePair<T, K extends keyof T> = [K, T[K]];

interface ExampleI {
  a: number;
  b: string;
}

function func(param: KeyValuePair<ExampleI, keyof ExampleI>): void {}

func(["a", 45]);

type GenericKeyValuePair<T, K extends keyof T> = [K, T[K]];
type SpecificKeyValuePair<T> = GenericKeyValuePair<T, keyof T>;