Вкратце про монады

Программистов часто пугают некими монадами, которые являются одновременно чем-то загадочно-непостижимым и при этом повсюду применимым.

Как узнать, что такое монады в две строки из, фактически, первоисточника:

docker run --rm -it haskell:slim
:info Monad

Где ясно написано, что монада это аппликативный функтор с определённой операцией >>= (bind, привязки).

Ну какие ещё могут быть вопросы после такого?