From 60a80b81826715a6d5a8e9c53c3d19ea25b8dbdf Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Fri, 26 Nov 2010 23:52:30 -0500 Subject: [PATCH 1/1] edits --- zipper-lists-continuations.mdwn | 5 +++++ 1 file changed, 5 insertions(+) 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: -- 2.11.0