Type Alias FiniteObject<T>

FiniteObject: [T] extends [Record<keyof any, any>]
    ? string extends keyof T
        ? never
        : number extends keyof T ? never : { -readonly [K in keyof T]: T[K] }
    : never