diff --git a/hnix.cabal b/hnix.cabal
--- a/hnix.cabal
+++ b/hnix.cabal
@@ -1,6 +1,6 @@
 cabal-version:  2.2
 name:           hnix
-version:        0.14.0.6
+version:        0.14.0.7
 synopsis:       Haskell implementation of the Nix language
 description:    Haskell implementation of the Nix language.
 category:       System, Data, Nix
diff --git a/src/Nix/Expr/Types.hs b/src/Nix/Expr/Types.hs
--- a/src/Nix/Expr/Types.hs
+++ b/src/Nix/Expr/Types.hs
@@ -140,7 +140,7 @@
     ( Eq, Ord, Generic, Generic1
     , Typeable, Data, NFData, NFData1, Serialise, Binary, ToJSON, ToJSON1, FromJSON, FromJSON1
     , Functor, Foldable, Traversable
-    , Show, Hashable, Hashable1
+    , Show, Hashable
     )
 
 instance IsString (Params r) where
@@ -151,6 +151,8 @@
 $(deriveEq1   ''Params)
 $(deriveOrd1  ''Params)
 
+deriving instance Hashable1 Params
+
 -- *** Lens traversals
 
 $(makeTraversals ''Params)
@@ -176,7 +178,7 @@
     , Typeable, Data, NFData, NFData1, Serialise, Binary
     , ToJSON, ToJSON1, FromJSON, FromJSON1
     , Functor, Foldable, Traversable
-    , Show, Read, Hashable, Hashable1
+    , Show, Read, Hashable
     )
 
 instance Hashable2 Antiquoted where
@@ -194,6 +196,7 @@
 $(deriveOrd2  ''Antiquoted)
 $(deriveJSON2 defaultOptions ''Antiquoted)
 
+deriving instance Hashable v => Hashable1 (Antiquoted v)
 
 -- *** Lens traversals
 
@@ -227,7 +230,7 @@
     ( Eq, Ord, Generic, Generic1
     , Typeable, Data, NFData, NFData1, Serialise, Binary, ToJSON, ToJSON1, FromJSON, FromJSON1
     , Functor, Foldable, Traversable
-    , Show, Read, Hashable, Hashable1
+    , Show, Read, Hashable
     )
 
 -- | For the the 'IsString' instance, we use a plain doublequoted string.
@@ -240,6 +243,8 @@
 $(deriveEq1   ''NString)
 $(deriveOrd1  ''NString)
 
+deriving instance Hashable1 NString
+
 -- *** Lens traversals
 
 $(makeTraversals ''NString)
@@ -386,7 +391,7 @@
     ( Eq, Ord, Generic, Generic1
     , Typeable, Data, NFData, NFData1, Serialise, Binary, ToJSON, FromJSON
     , Functor, Foldable, Traversable
-    , Show, Hashable, Hashable1
+    , Show, Hashable
     )
 
 $(deriveShow1 ''Binding)
@@ -394,6 +399,8 @@
 $(deriveOrd1  ''Binding)
 --x $(deriveJSON1 defaultOptions ''Binding)
 
+deriving instance Hashable1 Binding
+
 -- *** Lens traversals
 
 $(makeTraversals ''Binding)
@@ -555,7 +562,7 @@
     ( Eq, Ord, Generic, Generic1
     , Typeable, Data, NFData, NFData1, Serialise, Binary, ToJSON, FromJSON
     , Functor, Foldable, Traversable
-    , Show, Hashable, Hashable1
+    , Show, Hashable
     )
 
 
@@ -563,6 +570,8 @@
 $(deriveEq1   ''NExprF)
 $(deriveOrd1  ''NExprF)
 --x $(deriveJSON1 defaultOptions ''NExprF)
+
+deriving instance Hashable1 NExprF
 
 -- *** Lens traversals