X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=list_monad_as_continuation_monad.mdwn;h=d2136dbe097ca5ff2a2213ca191f4fc33f9d23a5;hp=81a5be318fafedf7a6bca8dad20bb8b6dcfb99e1;hb=bd008f9ae63ba84914d12e8c3e0973382cfd9b62;hpb=8105e467b373e9da58fa80c748c97b1d485986c3

diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn
index 81a5be31..d2136dbe 100644
--- a/list_monad_as_continuation_monad.mdwn
+++ b/list_monad_as_continuation_monad.mdwn
@@ -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.
 
-[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`.