+The best way to follow the next long, somewhat intricate paragraph
+immediately following is to take this type and try to construct a term
+for it, just as we did for the monads above. If you suceed, the
+discussion will just make brilliant sense. If you get stuck, the
+discussion will explain how to proceed.
+