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

Shortcut for constructing pairs. Used in combination with xelem for separating child-attributes from child-elements.
Embed a pure value in a stateful computation, i.e., given an initial state, how to interpret a pure value in a stateful computation.