-- | Remove a node from the codomain of a typed graph morphism
removeNodeFromCodomain :: NodeId -> TypedGraphMorphism a b -> TypedGraphMorphism a b
removeNodeFromCodomain n tgm =
  tgm { codomainGraph = GM.removeNodeFromDomain n (codomainGraph tgm)
      , mapping = GM.removeNodeFromCodomain n (mapping tgm)
      }
removeNodeFromCodomain :: NodeId -> TypedGraphMorphism a b -> TypedGraphMorphism a b
removeNodeFromCodomain n tgm =
  tgm { codomainGraph = GM.removeNodeFromDomain n (codomainGraph tgm)
      , mapping = GM.removeNodeFromCodomain n (mapping tgm)
      }
removeNodeFromCodomain n tgm =
  tgm { codomainGraph = GM.removeNodeFromDomain n (codomainGraph tgm)
      , mapping = GM.removeNodeFromCodomain n (mapping tgm)
      }