I'd like to give Martin Erwing's inductive graph implementation a shot. However, I am still new to Haskell's type system, specifically when it comes to defining abstract data types. I was hoping someone could supply a clear, near-trivial example of an this approach to implementing a graph in Haskell.
Here's the documentation behind it, and his paper
Thanks