Digraph
data Graph node
data SCC vertex