Types

This instance does not compare the graphs directly - instead it
compares just the function from which the graph is constructed.
The construction is completely deterministic so this should be
fine. It is also fast because function comparison just compares
unique integer IDs.