Exactly, whether you use a monad or not is an implementation detail. The high level idea is that you decouple the code that does IO from the code that's respons

Exactly, whether you use a monad or not is an implementation detail. The high level idea is that you decouple the code that does IO from the code that's responsible for the business logic.