This is an excellent beginning[1] to the argument for using monads! And the book mentioned is probably a good one to read to get more.
[1] not complaining about that: just noting it. Obviously there’s a ton more to the arguments, and you correctly point at various places one can go for that backup.