<!-- λ Λ ∀ ≡ α β γ ρ ω Ω -->
<!-- Loved this one: http://www.stephendiehl.com/posts/monads.html -->
-sample <u>underlined</u> text, and then <span class="box">box1</span>, and then <span class="box2">box2</span> and then <span class="ul">ul</span> end.
-
-
Introducing Monads
==================
<u>int</u>
-for the type of a boxed `int`. (We'll fool with the markup to make this show a genuine box later; for now it will just display as underlined.)
+for the type of a boxed `int`.
for `safe_add3` shows what it looks like to equip an ordinary operation to
survive in dangerous presupposition-filled world. Note that the new
definition of `safe_add3` does not need to test whether its arguments are
-None values or real numbers---those details are hidden inside of the
+`None` values or real numbers---those details are hidden inside of the
`bind` function.
Note also that our definition of `safe_div3` recovers some of the simplicity of