Some a >>=<sub>α option</sub> (\a -> Some 0) ==> Some 0
None >>=<sub>α option</sub> (\a -> Some 0) ==> None
- . _____
- / \ . / \
- . 3 >>=<sub>(α,unit) tree</sub> (\a -> / \ ) ==> _/_ .
- / \ a a / \ / \
-1 2 . . 3 3
+ .
+ / \
+ . / \
+ / \ . . \
+ . 3 >>=<sub>(α,unit) tree</sub> (\a -> / \ ) ==> / \ .
+ / \ a a / \ / \
+1 2 . . 3 3
/ \ / \
1 1 2 2
</pre>