Refined Exceptions

A result of applying RefineExceptions.

---

CategoryException