Описывается использование монад для структурирования функциональных программ. Монады обеспечивают удобную рабочую среду для моделирования эффектов, найденных в других языках, таких как глобальное состояние, обработка исключений, продукции, или недетерминизм. Подробно рассмотрены три исследования: как монады упрощают модификацию простого вычислителя; как монады действуют в качестве базиса типа данных массивов, подчиненных оперативному обновлению; и как монады могут использоваться, чтобы строить анализаторы.