--- /dev/null
+Monads
+======
+
+The [[tradition in the functional programming
+literature|https://wiki.haskell.org/Monad_tutorials_timeline]] is to
+introduce monads using a metaphor: monads are spacesuits, monads are
+monsters, monads are burritos. We're part of the backlash that
+prefers to say that monads are monads.
+
+The closest we will come to metaphorical talk is to suggest that
+monadic types place objects inside of boxes, and that monads wrap and
+unwrap boxes to expose or enclose the objects inside of them. In any
+case, the emphasis will be on starting with the abstract structure of
+monads, followed by instances of monads from the philosophical and
+linguistics literature.
+
+To