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