These reminds me of the Functional Graph Library[1] in Haskell, which takes similar ideas (edit: about constructing graphs inductively) a lot further. There is

These reminds me of the Functional Graph Library[1] in Haskell, which takes similar ideas (edit: about constructing graphs inductively) a lot further. There is also an article by Tikhon Jelvis[2] that provides a nice and relatively informal introduction to using those ideas in practice. [1] http://hackage.haskell.org/package/fgl http://hackage.haskell.org/package/fgl [2] http://jelv.is/blog/Generating-Mazes-with-Inductive-Graphs/ http://jelv.is/blog/Generating-Mazes-with-Inductive-Graphs/