X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;fp=topics%2Fweek7_introducing_monads.mdwn;h=4750fc6916c81249b40296f51c0e3bc6dcf3d885;hp=39dcdaf0649ab713cfc8799f6e5349877406e3d6;hb=95d3e1eb9f32752fba074f3a686783c6a4e893b6;hpb=57588efa1216a1f500e9ae42521604fd2f488924

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 39dcdaf0..4750fc69 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -392,6 +392,7 @@ This example is a good intuitive basis for thinking about the notions of `mbind`
 
       Some a  >>=<sub>α option</sub>  (\a -> Some 0) ==> Some 0
       None    >>=<sub>α option</sub>  (\a -> Some 0) ==> None
+      Some a  >>=<sub>α option</sub>  (\a -> None  ) ==> None
 
                                                          .
                                                         / \