Neden bu kodun geri dönüşü Özel durum atma yerine bir şey yok

Question

Aşağıdaki kodun neden Nothing "sıfır" istisnasıyla geri döndüğünü açıklar mısınız?

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

Answer 1

Eğer Monad ait Maybe örneğini kullanıyor çünkü. Bu örnek, fail'u Nothing olarak tanımlar.