From: jim <jim@web>
Date: Thu, 19 Mar 2015 16:05:11 +0000 (-0400)
Subject: add sentence about Identity Monad
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7cdd4e2e306a7ceeb5cb2ebe423a2e8395283274

add sentence about Identity Monad
---

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 7acc77cf..244793ff 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -152,8 +152,8 @@ The name "bind" is not well chosen from our perspective, but this is too deeply
 
 To take a trivial (but, as we will see, still useful) example,
 consider the Identity box type: `α`. So if `α` is type `bool`,
-then a boxed `α` is ... a `bool`. In terms of the box analogy, the
-Identity box type is a completely invisible box. With the following
+then a boxed `α` is ... a `bool`. That is, <code><u>α</u> = α</code>.
+In terms of the box analogy, the Identity box type is a completely invisible box. With the following
 definitions:
 
     mid ≡ \p. p