control-monad-exception (hackage): Explicitly Typed exceptions as a library
Keywords: control|failure|library|monads