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