But it doesn't need to. The overall solution, I mean. See another comment in this section mentioning they follow a similar approach but NOT using the IO monad.

Also: you don't need to know category theory to use the IO monad.