@@ -83,7+83,7 @@ if `α list` is our box type, we can write the second arrow as
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
-become clearly shortly.)
+become clear shortly.)
Here are the types of our crucial functions, together with our pronunciation, and some other names the functions go by. (Usually the type doesn't fix their behavior, which will be discussed below.)
Here are the types of our crucial functions, together with our pronunciation, and some other names the functions go by. (Usually the type doesn't fix their behavior, which will be discussed below.)