slight improvement...?

diff --git a/Types/Data/Graph.hs b/Types/Data/Graph.hs
index 3e551bc933a08e2a459a0e9f55f1eb3242470d58..2e130b3343f6ba91c21f81f8f9acdc80265992dd 100644 (file)
--- a/Types/Data/Graph.hs
+++ b/Types/Data/Graph.hs
@@ -101,11 +101,11 @@ type instance L.App (AddPred'' n l) (Context ps n' l' ss)
 
 -- Match
 type family   Match node g
-type instance Match node (Graph g) = Match' (M.Lookup node g) node (Graph g)
+type instance Match node (Graph g) = Match' (M.Lookup node g) node g
 
 type family   Match' mContext node g
-type instance Match' Nothing                          node g = Decomp Nothing g
-type instance Match' (Just (Context p node' label s)) node (Graph g)
+type instance Match' Nothing  node g = Decomp Nothing (Graph g)
+type instance Match' (Just (Context p node' label s)) node g
     = Decomp (Just (Context (M.Delete node p)
                             node
                             label