We'll need a number of classes of functions to help us maneuver in the
presence of box types. We will want to define a different instance of
each of these for whichever box type we're dealing with. (This will
We'll need a number of classes of functions to help us maneuver in the
presence of box types. We will want to define a different instance of
each of these for whichever box type we're dealing with. (This will