:: 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.