@@ -212,8+212,7 @@ be no more intimidated by complex types than by a linguistic tree with
deeply embedded branches: complex structure created by repeated
application of simple rules.
deeply embedded branches: complex structure created by repeated
application of simple rules.
-[This would be a good time to try to build your own term for the types
-just given. Doing so (or attempting to do so) will make the next
+[This would be a good time to try to reason your way to your own term having the type just specified. Doing so (or attempting to do so) will make the next
paragraph much easier to follow.]
As usual, we need to unpack the `u` box. Examine the type of `u`.
paragraph much easier to follow.]
As usual, we need to unpack the `u` box. Examine the type of `u`.