интересно как это на практике отражается

Монада - это тип/трейт, на котором определены операции
bind: m a -> (a -> m b) -> m b; Option::and_then,
return: a -> m a; Some или Option::from.
Хорошие монады удовлетворяют трём монадическим законам.
Первые два: return можно скомпозировать (bind'ом) в любом порядке с произвольной функцией f (той же сигнатуры, что и у return), и результат будет тот же, что и простой вызов f. Some(x).and_then(f) = f(x).and_then(Some) = f(x).
Третье: порядок композирования не имеет влияния на результат. Достаточно вспомнить, что try-оператор можно задействовать на любом числе упакованных в Option переменных, и выражение, возвращающее Some, нельзя будет вычислить, пока во всех упаковках не будет значение.

а в чем заработок?

ты неправильно объясняешь

Какие пруфы можно писать, насколько удобно в тех или иных случаях, и т.п.

Поправь, где неправ

так, а в расте низзя bind изза вариадик темплейтов низзя?

монада это интерфейс Chainable. Ну или на худой конец программируемая точка запятая. В крайнем случае - коробка или буритто

в расте нельзя бинд (хуевое название для операции монады бтв) потому што интерфейсы  не монадические

Смотрите носки какие

тоесть

Неправильное с точки зрения чего, лол. Так упрощать уж совсем ничего не даст.

gimme

Монада это интерфейс обобщающий Option, Result, асинхронные футуры, IO действия, а так же Парсеры и многое другое

Суть обобщения в том что если написать функцию работающую для одной монады, она будет работать для всех перечисленных задач

ну вот например у итераторов.

должно быть map : (a -> b) -> f a -> f b
что есть по факту: map : (a -> b) -> f a -> Map f b

ну это наполовину шутка была

а так - надо объяснять в оопэшных категориях тогда людям понятнее

а не проще сначала обьяснить что такое функтор?