Монады  —  программируемые точки с запятой. Именно так. Монада предоставляет функции, позволяющие упорядочивать действия. Более того, между каждыми двумя действиями выполняется определённый фрагмент кода...

"Теория категорий по-деревенски" (или "Функторный разгуляй в селе Категорьевке") 1. Категория — как большая семья В деревне Категорьевке жил-был дед Объектович — у него было много детей, и все они как-то связаны. Категория, — говорил он, — это как наша семья: - Объекты — это мы, мужики в избе. - Морфизмы — это наши отношения: кто кому сват, кто кум, а кто и просто сосед, который в долг не отдаёт. А композиция? — спрашивал младший сын, Функторька. Ну, это когда я ругаюсь с женой...