diff --git a/src/Data/KVList.hs b/src/Data/KVList.hs
--- a/src/Data/KVList.hs
+++ b/src/Data/KVList.hs
@@ -56,6 +56,11 @@
   KVNil :: KVList '[]
   KVCons :: (KnownSymbol key) => key := v -> KVList xs -> KVList ((key := v) ': xs)
 
+instance Eq (KVList '[]) where
+  (==) _ _ = True
+
+instance (Eq v, Eq (KVList kvs)) => Eq (KVList ((k := v) ': kvs)  ) where
+  (==) (KVCons (_ := v1) next1) (KVCons (_ := v2) next2) = v1 == v2 && next1 == next2
 
 {-| -}
 instance ShowFields (KVList kvs) => Show (KVList kvs) where
diff --git a/type-level-kv-list.cabal b/type-level-kv-list.cabal
--- a/type-level-kv-list.cabal
+++ b/type-level-kv-list.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           type-level-kv-list
-version:        2.0.1.1
+version:        2.0.1.2
 synopsis:       Type level Key-Value list.
 description:    This library provides a brief implementation for extensible records.
 category:       Data