From 7cdd4e2e306a7ceeb5cb2ebe423a2e8395283274 Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 19 Mar 2015 12:05:11 -0400 Subject: [PATCH 1/1] 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