Harper addresses this in a comment on the OP. You replace the whole standard library with a new, monad-tamed one. Which works, and could be interesting and usef

Harper addresses this in a comment on the OP. You replace the whole standard library with a new, monad-tamed one. Which works, and could be interesting and useful, but with similar logic you could say things like "Of course Lisp has static types!" which I can't imagine him promoting.