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