Можно ли вывести тип общей подписи индекса?

Я не хочу создавать общую функцию для проверки объектов. Я хочу, чтобы он принимал объект параметров со следующей подписью:

export interface ValidationOptions<T, K extends keyof T = keyof T> {
  validators: Map<K, (value: T[K]) => string | null>    
}

Я хочу иметь возможность сопоставить K с массивом функций проверки, которые принимают аргумент типа T[K]. У меня проблема в том, что T[K] будет разрешать каждое возможное значение в T, а не конкретное значение для данного ключа.

Код ниже должен, надеюсь, пояснить, что я имею в виду.

export interface ValidationOptions<T, K extends keyof T = keyof T> {
    validators: Map<K, (value: T[K]) => string | null>    
}

function fooValidator(value: string) {
    if (value === "foo") {
        return "Value can't be foo"
    }

    return null;
}

function isNotTrueValidator(value: boolean) {
    if (!value) {
        return "Value must be true"
    }

    return null;
}

interface ObjectToValidate {
    stringy: string;
    booly: boolean;
}


//(value: T[K]) => string | null will resolve to value: string | boolean here
//Can i make it resolve to the type for the given property instead? 
const options: ValidationOptions<ObjectToValidate> = {
    //This results in an error with strictFunctionTypes enabled
    validators: new Map([
        //How can i 
        ["stringy", fooValidator] 
    ])
}