From 7cdd4e2e306a7ceeb5cb2ebe423a2e8395283274 Mon Sep 17 00:00:00 2001
From: jim
Date: Thu, 19 Mar 2015 12:05:11 -0400
Subject: [PATCH] add sentence about Identity Monad
---
topics/week7_introducing_monads.mdwn | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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, __Î±__ = Î±

.
+In terms of the box analogy, the Identity box type is a completely invisible box. With the following
definitions:
mid â¡ \p. p
--
2.11.0