Simplification: `HashSet` now has `hashGuard` to simplify type checking.