-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