@@ -164,7 +164,7 @@ checkSubstructure
164 => HList xs
164 => HList xs
165 -> ProdCons (Traced t)
165 -> ProdCons (Traced t)
166 -> StructuralCompatFormula ()
166 -> StructuralCompatFormula ()
167−checkSubstructure e = memo SemanticMemoKey $ checkStructuralCompatibility e
167+checkSubstructure e = memo StructuralMemoKey $ checkStructuralCompatibility e
169structuralMaybe
169structuralMaybe
170 :: (Subtree a, HasAll (CheckEnv a) xs)
170 :: (Subtree a, HasAll (CheckEnv a) xs)