:: a -> b -> (a, b) package:algebraic-graphs

The left-hand part of a convenient ternary-ish operator x-<e>-y for creating labelled edges.
x -<e>- y == edge e x y