fromGraphsAndLists :: TypedGraph a b -> TypedGraph a b -> [(NodeId, NodeId)] -> [(EdgeId, EdgeId)] -> TypedGraphMorphism a b
fromGraphsAndLists dom cod nodeMapping edgeMapping = TypedGraphMorphism dom cod $
  GM.fromGraphsAndLists (toUntypedGraph dom) (toUntypedGraph cod) nodeMapping edgeMapping
fromGraphsAndLists :: TypedGraph a b -> TypedGraph a b -> [(NodeId, NodeId)] -> [(EdgeId, EdgeId)] -> TypedGraphMorphism a b
fromGraphsAndLists dom cod nodeMapping edgeMapping = TypedGraphMorphism dom cod $
  GM.fromGraphsAndLists (toUntypedGraph dom) (toUntypedGraph cod) nodeMapping edgeMapping
fromGraphsAndLists dom cod nodeMapping edgeMapping = TypedGraphMorphism dom cod $
  GM.fromGraphsAndLists (toUntypedGraph dom) (toUntypedGraph cod) nodeMapping edgeMapping