fix: #2680 (#2681)

Author: jamesmckinna

src/Algebra/Bundles/Raw.agda

@@ -12,7 +12,6 @@ open import Algebra.Core using (Op₁; Op₂)
 open import Relation.Binary.Core using (Rel)
 open import Relation.Binary.Bundles.Raw using (RawSetoid)
 open import Level using (suc; _⊔_)
-open import Relation.Nullary.Negation.Core using (¬_)
 
 ------------------------------------------------------------------------
 -- Raw bundles with 1 unary operation & 1 element