diff --git a/Changelog.md b/Changelog.md
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,3 +1,7 @@
+# 0.1.2 [2024-05-dd]
+
+- Drop support for GHCs prior 8.6.5
+
 # 0.1.1 [2021-10-30]
 
 - Add `Solo` instances
diff --git a/indexed-traversable-instances.cabal b/indexed-traversable-instances.cabal
--- a/indexed-traversable-instances.cabal
+++ b/indexed-traversable-instances.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.12
 name:               indexed-traversable-instances
-version:            0.1.1.2
+version:            0.1.2
 build-type:         Simple
 license:            BSD2
 license-file:       LICENSE
@@ -21,19 +21,15 @@
 
 extra-source-files: Changelog.md
 tested-with:
-  GHC ==7.4.2
-   || ==7.6.3
-   || ==7.8.4
-   || ==7.10.3
-   || ==8.0.2
-   || ==8.2.2
-   || ==8.4.4
-   || ==8.6.5
+  GHC ==8.6.5
    || ==8.8.4
    || ==8.10.7
    || ==9.0.2
-   || ==9.2.5
-   || ==9.4.4
+   || ==9.2.8
+   || ==9.4.8
+   || ==9.6.5
+   || ==9.8.2
+   || ==9.10.1
 
 source-repository head
   type:     git
@@ -42,22 +38,20 @@
 
 library
   default-language: Haskell2010
-  ghc-options:      -Wall
   hs-source-dirs:   src
   build-depends:
-      base                  >=4.5      && <4.18
-    , indexed-traversable   >=0.1      && <0.2
+      base                  >=4.12     && <4.21
+    , indexed-traversable   >=0.1.4    && <0.2
     , OneTuple              >=0.3      && <0.5
     , tagged                >=0.8.6    && <0.9
     , unordered-containers  >=0.2.8.0  && <0.3
-    , vector                >=0.12.1.2 && <0.14
+    , vector                >=0.13.1.0 && <0.14
 
   exposed-modules:  Data.Functor.WithIndex.Instances
 
 test-suite safe
   type:             exitcode-stdio-1.0
   default-language: Haskell2010
-  ghc-options:      -Wall
   hs-source-dirs:   tests
   main-is:          safe.hs
   build-depends:
@@ -68,7 +62,6 @@
 test-suite indexed-tests
   type:             exitcode-stdio-1.0
   default-language: Haskell2010
-  ghc-options:      -Wall
   hs-source-dirs:   tests
   main-is:          main.hs
   build-depends:
@@ -84,5 +77,5 @@
   build-depends:
       QuickCheck            >=2.14.2   && <2.15
     , quickcheck-instances  >=0.3.29   && <0.4
-    , tasty                 >=1.2.3    && <1.5
+    , tasty                 >=1.2.3    && <1.6
     , tasty-quickcheck      >=0.10.1.1 && <0.11
diff --git a/src/Data/Functor/WithIndex/Instances.hs b/src/Data/Functor/WithIndex/Instances.hs
--- a/src/Data/Functor/WithIndex/Instances.hs
+++ b/src/Data/Functor/WithIndex/Instances.hs
@@ -2,16 +2,10 @@
 {-# LANGUAGE CPP                    #-}
 {-# LANGUAGE FlexibleInstances      #-}
 {-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE PolyKinds              #-}
+{-# LANGUAGE Trustworthy            #-}
 {-# LANGUAGE UndecidableInstances   #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
-
-#if __GLASGOW_HASKELL__ >= 702
-{-# LANGUAGE Trustworthy            #-}
-#endif
-
-#if __GLASGOW_HASKELL__ >= 706
-{-# LANGUAGE PolyKinds              #-}
-#endif
 -- | Extra instances for 'FunctorWithIndex', 'FoldableWithIndex',
 -- and 'TraversableWithIndex' type classes.
 module Data.Functor.WithIndex.Instances () where
diff --git a/tests/main.hs b/tests/main.hs
--- a/tests/main.hs
+++ b/tests/main.hs
@@ -37,16 +37,7 @@
 import Data.Functor.WithIndex
 import Data.Traversable.WithIndex
 
-#if MIN_VERSION_base(4,7,0)
 import Data.Typeable (Typeable, typeRep)
-#else
-import Data.Typeable (TypeRep, Typeable1, typeOf1)
-
-#define Typeable Typeable1
-
-typeRep :: forall f i. Typeable1 f => Tests i f -> TypeRep
-typeRep _ = typeOf1 (undefined :: f Int)
-#endif
 
 -------------------------------------------------------------------------------
 -- Main