Может кто-нибудь описать простым языком — что такое монады и зачем они нужны?
Сколько ни видел в интернете трудов наподобие "простое описание монад" — никто не может описать доходчиво. Везде одна и та же хрень: "я понял монады!" и начинается "это тип с операциями bind и return", бла-бла-бла.
Или монады это такая сложная концепция, что описать ее доступным языком невозможно в принципе?