X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=840521a045b171c9f11dab164eec5ba2e8070c0a;hp=0e9ab56f31b6f42592fe0dcd20801f7da6f9b892;hb=f932e2ef9505b6b863a7957be94b526c5af9d99f;hpb=5b304e0cbe18ba3bc9b372e3ca8faf3edaa4e8e5
diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 0e9ab56f..840521a0 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -393,11 +393,13 @@ This example is a good intuitive basis for thinking about the notions of `mbind`
Some a >>=α option (\a -> Some 0) ==> Some 0
None >>=α option (\a -> Some 0) ==> None
- . _____
- / \ . / \
- . 3 >>=(α,unit) tree (\a -> / \ ) ==> _/_ .
- / \ a a / \ / \
-1 2 . . 3 3
+ .
+ / \
+ . / \
+ / \ . . \
+ . 3 >>=(α,unit) tree (\a -> / \ ) ==> / \ .
+ / \ a a / \ / \
+1 2 . . 3 3
/ \ / \
1 1 2 2