1 files changed, 0 insertions, 24 deletions
diff --git a/stdlib/source/lux/abstract/equivalence.lux b/stdlib/source/lux/abstract/equivalence.lux
deleted file mode 100644
index 58d644c9b..000000000
--- a/stdlib/source/lux/abstract/equivalence.lux
+++ /dev/null
@@ -1,24 +0,0 @@
-(.module:
-  [lux #*]
-  [//
-   [functor
-    ["." contravariant]]])
-
-(interface: #export (Equivalence a)
-  {#.doc "Equivalence for a type's instances."}
-  (: (-> a a Bit)
-     =))
-
-(def: #export (rec sub)
-  (All [a] (-> (-> (Equivalence a) (Equivalence a)) (Equivalence a)))
-  (implementation
-   (def: (= left right)
-     (sub = left right))))
-
-(implementation: #export functor
-  (contravariant.Functor Equivalence)
-  
-  (def: (map f equivalence)
-    (implementation
-     (def: (= reference sample)
-       (\ equivalence = (f reference) (f sample))))))