Помогите разобраться, пожалуйста. Изучаю Typescript. Тема - Условные типы. Надо реализовать тип.

 // TODO: Реализуйте тип FilterByProperty
// Что я строчкой ниже написал не так, и как нужно было. Спасибо большое.
type FilterByProperty = T extends {[K in key ]?: any} ? T : never;


type Administrator = {
    name: string;
}

type Security = {
    name: string;
    shift: 'day' | 'night';
}

type Developer = {
    name: string;
    computer: 'MacOS' | 'Windows';
}

type TestingEngineer = {
    name: string;
    computer: 'MacOS' | 'Windows';
}

type Personal = Administrator | Security | Developer | TestingEngineer;

type WithComputers = FilterByProperty;
// type WithComputers = Developer | TestingEngineer так должно быть в итоге, но у меня не выходит