> -- Alexey Veselovsky писал(а):
> Почему именно монадных? Оператор >> и >>= можно опередить как угодно. Это совсем не обязательно будет монада.
Эти "операторы" являются функциями класса Monad. Если Вы определите их как-то по другому, то нарушите для них монадный контракт (или как там можно это назвать).