THE "MISSING" GRAPH DATATYPE ALREADY EXISTS. IT WAS INVENTED IN THE '70S

Summary from the TLDR Web Dev newsletter

Programming languages lack built-in graph support not because graphs are too complex, but because modern languages' imperative model makes it difficult to write graph algorithms without committing to a specific graph representation. A declarative language like Datalog, based on relational algebra, is a much more natural fit for expressing graph algorithms. Datalog's ability to optimize queries based on dataset characteristics and its expressiveness makes it both performant and easy to use for graph-related tasks.