Почему этот код возвращает Nothing вместо исключения исключения

Question

Не могли бы вы объяснить мне, почему следующий код возвращает Nothing insteaf od exception «zero»?

Just 0 >>= (\ x -> if (x == 0) then fail "zero" else Just (x + 1)) 

Answer 1

Поскольку вы используете Maybe экземпляр Monad. Этот экземпляр определяет fail как Nothing.