It has them, but I don't see them being used very often. More commonly just a Maybe will do. And really, monadic exceptions aren't like java exceptions. I would call them un-Haskell-like.