diff --git a/Relation/Binary/Comparison.hs b/Relation/Binary/Comparison.hs
--- a/Relation/Binary/Comparison.hs
+++ b/Relation/Binary/Comparison.hs
@@ -274,3 +274,8 @@
 
 instance PartialEq a => PartialEq (Ratio a) where
     (≡) = (≡) `on` liftA2 (,) numerator denominator
+
+instance PartialEq a => PartialEq [a] where
+    [] ≡ [] = True
+    x:xs ≡ y:ys = (x, xs) ≡ (y, ys)
+    _ ≡ _ = False
diff --git a/alg.cabal b/alg.cabal
--- a/alg.cabal
+++ b/alg.cabal
@@ -1,5 +1,5 @@
 name:                alg
-version:             0.2.7.0
+version:             0.2.8.0
 synopsis:            Algebraic structures
 -- description:         
 license:             BSD3