Type Alias GetValue<Map, Value, Type, T>

GetValue: Type[] extends T
    ? Value
    : T extends keyof Map
        ? Map[T]
        : {
            [P in keyof T]: T[P] extends Type
                ? GetValue<Map, Value, Type, T[P]>
                : never
        }