backtracking-exceptions ======================= A monad transformer for backtracking exceptions