Type Alias OPTIONAL<T>

OPTIONAL: {
    [t in keyof T]?: T[t] extends any[]
        ? T[t]
        : T[t] extends (...args: any) => any
            ? T[t]
            : T[t] extends object ? OPTIONAL<T[t]> : T[t]
}