NodeMap package:fgl

Utility methods to automatically generate and keep track of a mapping between node labels and Nodes.
Graph construction monad; handles passing both the NodeMap and the Graph.