diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.0.3
+
+- Support GHC-8.6.5...9.10.1
+
 # 0.0.2
 
 - Add `LiftedModule` allowing to lift into 'ScopeH'.
diff --git a/bound-extras.cabal b/bound-extras.cabal
--- a/bound-extras.cabal
+++ b/bound-extras.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               bound-extras
-version:            0.0.2
+version:            0.0.3
 synopsis:           ScopeH and ScopeT extras for bound
 category:           Language, Compilers, Interpreters
 description:
@@ -28,7 +28,15 @@
 homepage:           https://github.com/phadej/bound-extras
 bug-reports:        https://github.com/phadej/bound-extras/issues
 tested-with:
-  GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1 || ==9.2.1
+  GHC ==8.6.5
+   || ==8.8.4
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.8
+   || ==9.4.8
+   || ==9.6.6
+   || ==9.8.2
+   || ==9.10.1
 
 extra-source-files:
   CHANGELOG.md
@@ -49,16 +57,13 @@
 
   -- GHC boot libraries
   build-depends:
-    , base          ^>=4.9.1.0 || ^>=4.10.1.0 || ^>=4.11.1.0 || ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0
-    , deepseq       ^>=1.4.2.0
-    , hashable      ^>=1.2.7.0 || ^>=1.3.0.0 || ^>=1.4.0.1
-    , transformers  ^>=0.5.0.0
+    , base          ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0 || ^>=4.20.0.0
+    , deepseq       ^>=1.4.4.0  || ^>=1.5.0.0
+    , hashable      ^>=1.4.7.0  || ^>=1.5.0.0
+    , transformers  ^>=0.5.6.2  || ^>=0.6.1.0
 
   -- other deps
-  build-depends:    bound ^>=2.0.1
-
-  if !impl(ghc >=8.2)
-    build-depends: bifunctors ^>=5.5.3
+  build-depends:    bound ^>=2.0.7
 
 test-suite examples
   type:             exitcode-stdio-1.0
@@ -79,14 +84,11 @@
     , base
     , bound
     , bound-extras
-    , containers    ^>=0.5.7.1 || ^>=0.6.0.1
-    , filepath      ^>=1.4.1.1
-    , pretty        ^>=1.1.3.3
-    , tasty         >=1.1.0.3 && <1.5
+    , containers    ^>=0.6.0.1 || ^>=0.7
+    , filepath      ^>=1.4.2.1 || ^>=1.5.2.0
+    , pretty        ^>=1.1.3.6
+    , tasty         >=1.1.0.3  && <1.6
     , tasty-golden  ^>=2.3.2
-    , text-short    ^>=0.1.2
-    , transformers  ^>=0.5.0.0
+    , text-short    ^>=0.1.6
+    , transformers
     , utf8-string   ^>=1.0.1.1
-
-  if !impl(ghc >=8.2)
-    build-depends: bifunctors
diff --git a/src/Bound/ScopeT.hs b/src/Bound/ScopeT.hs
--- a/src/Bound/ScopeT.hs
+++ b/src/Bound/ScopeT.hs
@@ -3,9 +3,7 @@
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RankNTypes            #-}
-#if __GLASGOW_HASKELL__ >= 805
 {-# LANGUAGE QuantifiedConstraints #-}
-#endif
 -- For NFData instance
 {-# LANGUAGE UndecidableInstances  #-}
 -- | 'ScopeT' scope, which allows substitute 'f' into 't f' to get new 't f'.
@@ -81,11 +79,9 @@
 ScopeT m >>>>= k = ScopeT $ fmap (fmap (>>= k)) m
 {-# INLINE (>>>>=) #-}
 
-#if __GLASGOW_HASKELL__ >= 805
 -- | @(>>>=) :: ... => 'ScopeT' n t f a -> (a -> f b) -> 'ScopeT' n t f b@
 instance (forall f. Functor f => Functor (t f)) => Bound (ScopeT n t) where
     (>>>=) = (>>>>=)
-#endif
 
 instance (Monad f, Functor (t f)) => Module (ScopeT b t f) f where
     (>>==) = (>>>>=)