Какие вам ещё монады-шмонады?? По ним написано 100500 гайдов "монада -- это моноид в категории эндофункторов" (включая мой сериал для малышей :), и всё равно фактически никто из программистов их так и не понимает в прикладном плане: реальная композиционность в монадах отсутствует более чем полностью. По сути это просто чрезмерно и совершенно излишне абстрагированная версия алгебраических эффектов с хендлерами, которые как раз и легко понимаемы, и прекрасно компонуются.

"Вы не можете обучать новичков программированию сверху вниз, поскольку они не знают, какой низ является верхом"
-- Чарльз Энтони Ричард Хоар