это как лента конвейера, на вход которой подаются данные, потом различные секции конвейера их обрабатывают по разному. Вот эти секции конвейера которые делают операции (одна секция - одна операция) над данными и есть монада. Прикол в том, что ты их этих монад можешь какие угодно цепочки создавать. Выход одной монады -> вход другой монады