The functional graph library for Haskell provides several modules
that define inductive graphs and graph algorithms.