diff --git a/Data/Graph/Libgraph.hs b/Data/Graph/Libgraph.hs
--- a/Data/Graph/Libgraph.hs
+++ b/Data/Graph/Libgraph.hs
@@ -26,6 +26,7 @@
 , findFaulty_dag
 , next_step
 , Judgement(..)
+, AssistedMessage(..)
 , showWith
 , escape
 , display
diff --git a/Data/Graph/Libgraph/AlgoDebug.hs b/Data/Graph/Libgraph/AlgoDebug.hs
--- a/Data/Graph/Libgraph/AlgoDebug.hs
+++ b/Data/Graph/Libgraph/AlgoDebug.hs
@@ -1,11 +1,15 @@
+{-# LANGUAGE DeriveGeneric #-}
 module Data.Graph.Libgraph.AlgoDebug where
 import Data.Graph.Libgraph.Core
 import Data.Graph.Libgraph.Dagify(collapse,remove)
 import Prelude hiding (Right)
 import Data.List(find)
 import Data.Maybe(isJust)
+import GHC.Generics
 
-data Judgement = Right | Wrong | Unassessed | Assisted String deriving (Eq,Show,Ord)
+data AssistedMessage = InconclusiveProperty String | PassingProperty String deriving (Eq,Show,Ord,Generic)
+
+data Judgement = Right | Wrong | Unassessed | Assisted [AssistedMessage] deriving (Eq,Show,Ord,Generic)
 
 findFaulty_dag :: (Ord v, Eq a, Show v) => (v -> Judgement) -> Graph v a -> [v]
 findFaulty_dag judge g = filter isFaulty (vertices g)
diff --git a/Data/Graph/Libgraph/Core.hs b/Data/Graph/Libgraph/Core.hs
--- a/Data/Graph/Libgraph/Core.hs
+++ b/Data/Graph/Libgraph/Core.hs
@@ -1,15 +1,19 @@
+-- Copyright (c) Maarten Faddegon, 2015-2016
+{-# LANGUAGE DeriveGeneric #-}
+
 module Data.Graph.Libgraph.Core where
 import Data.Maybe
 import Data.List
 import Data.Map.Strict(Map)
 import qualified Data.Map.Strict as Map
+import GHC.Generics
 
 --------------------------------------------------------------------------------
 -- External representation of graphs
 
 data Arc vertex arc 
   = Arc { source :: vertex, target :: vertex, arc :: arc}
-    deriving (Eq, Show)
+    deriving (Eq, Show, Generic)
 
 data SimpleArc vertex
   = SimpleArc { source' :: vertex, target' :: vertex }
@@ -19,7 +23,7 @@
   = Graph { root     :: vertex
           , vertices :: [vertex]
           , arcs     :: [Arc vertex arc]
-          }
+          } deriving Generic
 
 data SimpleGraph vertex
   = SimpleGraph { root'     :: vertex
diff --git a/libgraph.cabal b/libgraph.cabal
--- a/libgraph.cabal
+++ b/libgraph.cabal
@@ -1,5 +1,5 @@
 Name:           libgraph
-Version:        1.9
+Version:        1.10
 Homepage:       http://maartenfaddegon.nl
 Synopsis:       Store and manipulate data in a graph.
 Description:    A graph type, analysis of graphs and manipulation of graphs.