Если честно, то да.
То что монада это вполне нормальный объект из теории категорий мозг ещё помнит.
Но связать моднадические тройки с оператором не получается. Было бы хорошо, если бы было объяснение на пальцах.
А то статьи про манады ещё нет. Непонятно.
На здоровье :-) Я сам только начал потихоньку разбираться с Haskell, правда имея фору в виде знакомства с OCaml.
Серия у вас хорошая получилась, иллюстративная.
Создаём парсер для ini-файлов на Haskell