Type Alias FlatObjectFirstLevel<T>

FlatObjectFirstLevel: { [K in keyof T]: (x: T[K]) => void } extends Record<
    keyof T,
    (x: infer I) => void,
>
    ? { [K in keyof I]: I[K] }
    : never

Flatten an object bringing the first depth-level of properties to the object root.