extra line

[lambda.git] / topics / week7_introducing_monads.mdwn

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 39dcdaf..4750fc6 100644 (file)
--- 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
 
                                                          .
                                                         / \