Grafito Inductively defined Graph data structure as presented by Martin Erwig in Inductive Graphs and Functional Graph Algorithms