[marcosdumay]

The article is about writing your real-word facing code in another monad, and only at an execution layer binding that monad to IO.