An inductive representation of manipulating graph data structures.

WWW: http://hackage.haskell.org/package/fgl