diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -81,7 +81,6 @@
           | Just rest <- stripPrefix "<tuple-tail>" t = [tupleTail ++ Prelude.head (go rest)]
           | Just rest <- stripPrefix "<tuple-init>" t = [tupleInit ++ Prelude.head (go rest)]
           | Just rest <- stripPrefix "<tuple-last>" t = [tupleLast ++ Prelude.head (go rest)]
-          | Just rest <- stripPrefix "<cons>" t = [cons ++ Prelude.head (go rest)]
           | Just rest <- stripPrefix "<reverse>" t = [reverse ++ Prelude.head (go rest)]
           | Just rest <- stripPrefix "<" t = error $ "unknown tag: " ++ takeWhile (/= '>') rest
           | Just _ <- stripPrefix "---- has-at" t
diff --git a/list-tuple.cabal b/list-tuple.cabal
--- a/list-tuple.cabal
+++ b/list-tuple.cabal
@@ -1,9 +1,9 @@
 cabal-version: 2.2
 
 name:           list-tuple
-version:        0.1.4.0
+version:        0.1.4.1
 synopsis:       List-like operations for tuples
-description:    List-like operations for tuples
+description:    List-like operations for tuples.
 category:       Data
 homepage:       https://github.com/kakkun61/tuple
 bug-reports:    https://github.com/kakkun61/tuple/issues
@@ -80,5 +80,5 @@
                       hspec >=2.11 && <2.12,
                       should-not-typecheck >=2.1 && <2.2,
                       single-tuple,
-                      text >=1.2 && <1.3
+                      text >=1.2 && <2.1
   build-tool-depends: hspec-discover:hspec-discover
diff --git a/template/List.hs b/template/List.hs
--- a/template/List.hs
+++ b/template/List.hs
@@ -77,6 +77,10 @@
 
 import Prelude (Integral, error, fromInteger, id, ($))
 
+#if __GLASGOW_HASKELL__ >= 904
+import Prelude (type (~))
+#endif
+
 import Data.Functor.Identity (Identity)
 import Data.Kind             (Type)
 import Data.Proxy            (Proxy (Proxy))
diff --git a/test/Data/Tuple/List/IdentitySpec.hs b/test/Data/Tuple/List/IdentitySpec.hs
--- a/test/Data/Tuple/List/IdentitySpec.hs
+++ b/test/Data/Tuple/List/IdentitySpec.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications    #-}
 {-# LANGUAGE TypeFamilies        #-}
+{-# LANGUAGE TypeOperators       #-}
 
 {-# OPTIONS_GHC -fdefer-type-errors #-}
 {-# OPTIONS_GHC -Wno-deferred-type-errors #-}
diff --git a/test/Data/Tuple/ListSpec.hs b/test/Data/Tuple/ListSpec.hs
--- a/test/Data/Tuple/ListSpec.hs
+++ b/test/Data/Tuple/ListSpec.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications    #-}
 {-# LANGUAGE TypeFamilies        #-}
+{-# LANGUAGE TypeOperators       #-}
 
 {-# OPTIONS_GHC -fdefer-type-errors -Wno-deferred-type-errors -Wno-redundant-constraints -Wno-incomplete-patterns #-}