Type Alias ExtractValues<T>

ExtractValues: {
    [TKey in keyof T]: T[TKey] extends ValueController<infer U>
        ? U
        : ExtractValues<T[TKey]>
}