diff --git a/src/Data/Nat.hs b/src/Data/Nat.hs
index 95aef0d..e2023a5 100644
--- a/src/Data/Nat.hs
+++ b/src/Data/Nat.hs
@@ -119,13 +119,6 @@ fromInteger n
   | n T.>  0 = S (fromInteger (T.pred n)) 
 
 
--- | Equality for natural numbers
-(≡) ∷ ℕ → ℕ → 𝔹 
-Z     ≡ Z     = T
-(S n) ≡ (S m) = n ≡ m
-_     ≡ _     = F
-
-
 -- | Infinity
 (∞) ∷ ℕ
 (∞) = S (∞)