LabeledGraph
A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.
A carrier domain: the nominal type this object is stored and dispatched as.
LabeledGraph: tuple<integer, list<integer>>