HasDefinedKeys<TObj, TCheck>: ConditionalType