As far as I can tell, this rebuttal... isn't. The author just completely misread the original argument. EDIT: Example: "in particular, how a monad must be cap

As far as I can tell, this rebuttal... isn't. The author just completely misread the original argument. EDIT: Example: "in particular, how a monad must be capable of "wrapping" (their terminology) arbitrary datatypes, not just one particular datatype" Yet it was very clear the author was talking about wrapping arbitrary types and IO String was a single example. And it goes on...