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

Опять же, контракта этого вязыкенет.