+And also what the rhs there is a boxing of is itself a boxed type (with the same kind of box):, so we can write it as:
+
+<code><u>int</u> -> <span class="box2">int</span></code>
+
+We have to be careful though not to to unthinkingly equivocate between different kinds of boxes.
+