S> В обычных языках есть выбор между иммутабельностью и мутабельностью.

В Haskell тоже есть. Можно сделать мутабельный контекст и внутри всё замутировать, а компилятором это будет рассматриваться как "чистая функция". Для этого и нужна do-конструкция.

конструкция

do
    x <- a
    b

раскрывается в

a >>= ( \x -> b )

см. также
What does the >> symbol mean in Haskell
Where can I read up on the haskell "->" operator?

S> В обычных языках есть выбор между иммутабельностью и мутабельностью.

В Haskell тоже есть. Можно сделать мутабельный контекст и внутри всё замутировать, а компилятором это будет рассматриваться как "чистая функция". Для этого и нужна do-конструкция.

конструкция

do
    x <- a
    b

раскрывается в

a >>= ( \x -> b )

см. также
Нотация do
What does the >> symbol mean in Haskell
Where can I read up on the haskell "->" operator?