type ObjectType<Props, Rest> = Props extends ObjectValueProps
  ? Rest extends ObjectRecordTypeNode
    ? ObjectWithRecordType<Props, Rest>
    : StrictObjectType<Props>
  : DefaultObjectType<Props, Rest>;