A monad transformer for dynamic exceptions