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

[2] http://jelv.is/blog/Generating-Mazes-with-Inductive-Graphs/