Comment by skulk

one advantage of this over do-notation is brought up in the article (though not explicitly): you can bind multiple things in a single expression. In Haskell, you'd have to do

    do x <- getx; y <- gety; x+y

In roc you can do

    getx! + gety!

which looks a bit cleaner.