Черный властелин и монады.

Анус черного властелина - это функтор, он сопоставляет любому объекту (например, хую) новый тип - хуй в анусе; fmap позволяет отобразить морфизм между хуями в морфизм между хуями в анусе черного властелина; return берет хуй и возвращает хуй в анусе, join уменьшает вложенность - из ануса, заполненного анусами с хуями делает анус с хуями. Все это и определяет монаду. Морфизмом можно считать, например, заражение здорового хуйца триппером. Если его заразить и присунуть властелину, то получим зараженный хуец в анусе черного властелина т.е. стрелку Клейсли. Тогда применение >>= (bind) к здоровым хуйцам в анусе и заражению с присовыванием в итоге даст анус, заполненный зараженными хуйцами.