fromGraphsAndRelations :: TypedGraph a b -> TypedGraph a b -> Relation NodeId -> Relation EdgeId -> TypedGraphMorphism a b
fromGraphsAndRelations dom cod nodeMapping edgeMapping = TypedGraphMorphism dom cod $
  GM.fromGraphsAndRelations (toUntypedGraph dom) (toUntypedGraph cod) nodeMapping edgeMapping
fromGraphsAndRelations :: TypedGraph a b -> TypedGraph a b -> Relation NodeId -> Relation EdgeId -> TypedGraphMorphism a b
fromGraphsAndRelations dom cod nodeMapping edgeMapping = TypedGraphMorphism dom cod $
  GM.fromGraphsAndRelations (toUntypedGraph dom) (toUntypedGraph cod) nodeMapping edgeMapping
fromGraphsAndRelations dom cod nodeMapping edgeMapping = TypedGraphMorphism dom cod $
  GM.fromGraphsAndRelations (toUntypedGraph dom) (toUntypedGraph cod) nodeMapping edgeMapping