+
+It requires some cleverness to use the link monad to bind more than
+one variable at a time. Whereas in the standard reader monad a single
+environment can record any number of variable assignments, because
+Jacobson's monad only tracks a single dependency, binding more than
+one pronoun requires layering the monad, so that intermediate regions
+of the computation will be functors inside of a link monad box inside
+another link monad box, and so on.
+
+[Give details of the readings of *Everyone said someone thinks that he
+likes her*. Jacobson needs to add a variant of g; is it necessary to
+write a link swap that reverses the nesting of the monad boxes?]