For some time I had a gut feeling that the general case of any data structure must be a graph and other data structures would be some kinds of either degenerate graph (list is an acyclic direct graph with the requirement that there should not be a vertex that connect more then one other vertex, etc.) or a projection, like a two-dimensional relation.