useGgxNames names (VRule (Production l r ns)) =
  VRule $ Production (useGgxNamesOnMorphism names l) (useGgxNamesOnMorphism names r) (map (useGgxNamesOnMorphism names) ns)
useGgxNames names (VRule (Production l r ns)) =
  VRule $ Production (useGgxNamesOnMorphism names l) (useGgxNamesOnMorphism names r) (map (useGgxNamesOnMorphism names) ns)
useGgxNames names (VRule (Production l r ns)) =
  VRule $ Production (useGgxNamesOnMorphism names l) (useGgxNamesOnMorphism names r) (map (useGgxNamesOnMorphism names) ns)