> -- Alexey Veselovsky писал(а):
> А если я не буду импортировать модули где определен класс Monad? Класс Monad это библиотека, а я говорю про язык.Тогда у Вас могут возникнуть всякие проблемы при использовании этих операций..

> -- Alexey Veselovsky писал(а):
> Опять же, контракта этого в  нет.Do-нотация ориентирована на этот контракт, так что какая-то привязка языка к монадам таки есть.