Agda.Utils.Graph
data Graph n e