For simplicity, we consider only the following part of the norm example:
Note that the Var case of the type 1 node points (`over') to the type 2 node (`breadth') under the assumption that the second query argument may be non-variable.
That the struct 1 and struct 2 nodes have the same outgoing
arrows
is a consequence of the example's structurally identical first and
second arguments.