type RecordFromId<K extends RecordId<UnknownRecord>> =
  K extends RecordId<infer R> ? R : never
QueryValueMatcherRecordId