tagged-exception-core (hackage): This library provides interface similar to extensible-exceptions.  It introduces Throws monad transformer that uses phantom type to tag code that may raise exception.  Intention is to make exceptions explicit and to enforce exception handling.
Keywords: bsd3|control|error-handling|exceptions|failure|library|monad|monads|phantom-types