Щас выучу Haskell, буду писать короткий, поддерживаемый код... Монада — это моноид в категории эндофункторов. Из всего вышесказанного можно вывести очевидную вещь: монады — очень абстракная сущность. Настолько абстрактная, что чуть ли не всё на свете является монадой. Breakdown Комикс интернет убивает