bind связывает нам два монадических вычисления, а облегченный связыватель (>>), говорит, что он из a вынет значение, но никуда не передаст. Фактически эта функция очень похожа на flip const - первый аргумент игнорируется, а второй просто возвращается.
При наступлении некоторых событий мы не можем продолжить монадическое вычисление и тогда автоматически вызывается функция fail.
Оператор монадического связывания с переставленными аргументами:
Оператор левой рыбки - это оператор композиции монадических вычислений:
