Описание тега do-notation

В Haskell do-notation - это синтаксический сахар для написания монадического кода.