useGgxNamesOnMorphism :: Map String Text -> GrMorphism -> GrMorphism
useGgxNamesOnMorphism names (TGraph.TypedGraphMorphism dom cod morph) =
  TGraph.TypedGraphMorphism (useGgxNamesOnGraph names dom) (useGgxNamesOnGraph names cod) morph
useGgxNamesOnMorphism :: Map String Text -> GrMorphism -> GrMorphism
useGgxNamesOnMorphism names (TGraph.TypedGraphMorphism dom cod morph) =
  TGraph.TypedGraphMorphism (useGgxNamesOnGraph names dom) (useGgxNamesOnGraph names cod) morph
useGgxNamesOnMorphism names (TGraph.TypedGraphMorphism dom cod morph) =
  TGraph.TypedGraphMorphism (useGgxNamesOnGraph names dom) (useGgxNamesOnGraph names cod) morph