RecordFromId

Extracts the record type from a record ID type.

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

type BookId = RecordId<Book>;
type BookType = RecordFromId<BookId>; // Book