Описание тега monad-transformers
Преобразователи монад - это абстракция для объединения монад. Это позволяет вам создавать различные вычислительные эффекты, создавая точно контролируемые вычислительные среды.
Преобразователи монад были представлены Марком П. Джонсом в его статье 1993 года http://web.cecs.pdx.edu/~mpj/pubs/composing.html.