Make the graph correctness proof pseudo-generic over the base functor