[Removed incomprehensible remark.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20081014202231] hunk ./Wand.agda 51
-  -- The semantics, in continuation-passing style. (I would have
-  -- chosen something more easily digestible, but monads weren't
-  -- available to CS people in the early eighties.)
+  -- The semantics, in continuation-passing style.