X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=zipper-lists-continuations.mdwn;h=0f0662f782bd35aa7b9e3b0aad161d877d5c857e;hp=581cdf4e77fe669e9cd37f512d70fea2cb29d4fe;hb=60a80b81826715a6d5a8e9c53c3d19ea25b8dbdf;hpb=051c4bc23f4c1107423d50d370e15ef723187b03

diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn
index 581cdf4e..0f0662f7 100644
--- a/zipper-lists-continuations.mdwn
+++ b/zipper-lists-continuations.mdwn
@@ -62,6 +62,11 @@ an environment.  So we end up as follows:
 
 And we're done.
 
+[This bind is a simplified version of the careful `let a = u e in ...`
+constructions we provided in earlier lectures.  We use the simplified
+versions here in order to emphasize similarities of structure across
+monads; the official bind is still the one with the plethora of `let`'s.]
+
 The **State Monad** is similar.  We somehow intuit that we want to use
 the following type constructor: