A result of applying RefineExceptions. ---- CategoryException