diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,8 @@
-# 1.0.1
+# 1.0.1.2
+
+- Support GHC-9.0
+
+# 1.0.1.1
 
 - Add `Each These` instance
 
diff --git a/src/Data/These/Optics.hs b/src/Data/These/Optics.hs
--- a/src/Data/These/Optics.hs
+++ b/src/Data/These/Optics.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE RankNTypes            #-}
 {-# LANGUAGE Trustworthy           #-}
 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE UndecidableInstances  #-}
@@ -19,6 +20,7 @@
        itraversalVL, prism)
 
 -- $setup
+-- >>> import Data.These
 -- >>> import Optics.Core
 
 -------------------------------------------------------------------------------
@@ -35,6 +37,7 @@
 --
 here :: AffineTraversal (These a c) (These b c) a b
 here = atraversalVL here' where
+    here' :: Functor f => (forall r. r -> f r) -> (a -> f b) -> These a c -> f (These b c)
     here' _     f (This x)    = This <$> f x
     here' _     f (These x y) = flip These y <$> f x
     here' point _ (That x)    = point (That x)
@@ -49,6 +52,7 @@
 --
 there :: AffineTraversal (These c a) (These c b) a b
 there = atraversalVL there' where
+    there' :: Functor f => (forall r. r -> f r) -> (a -> f b) -> These c a -> f (These c b)
     there' point _ (This x)    = point (This x)
     there' _     f (These x y) = These x <$> f y
     there' _     f (That x)    = That <$> f x
diff --git a/these-optics.cabal b/these-optics.cabal
--- a/these-optics.cabal
+++ b/these-optics.cabal
@@ -1,8 +1,8 @@
 cabal-version:      >=1.10
 name:               these-optics
-version:            1.0.1.1
+version:            1.0.1.2
 synopsis:           Optics for These
-homepage:           https://github.com/isomorphism/these
+homepage:           https://github.com/haskellari/these
 license:            BSD3
 license-file:       LICENSE
 author:             C. McCann, Oleg Grenrus
@@ -12,12 +12,19 @@
 extra-source-files: CHANGELOG.md
 description:        This package provides Prism and Traversals for @These@.
 tested-with:
-    GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.3 || ==8.10.1
+    GHC ==8.0.2
+     || ==8.2.2
+     || ==8.4.4
+     || ==8.6.5
+     || ==8.8.4
+     || ==8.10.4
+     || ==9.0.1
   , GHCJS ==8.4
 
 source-repository head
   type:     git
-  location: https://github.com/isomorphism/these.git
+  location: https://github.com/haskellari/these.git
+  subdir:   these-optics
 
 library
   default-language: Haskell2010
@@ -30,10 +37,10 @@
   exposed-modules:  Data.These.Optics
 
   -- ghc boot libs
-  build-depends:    base >=4.9 && <4.15
+  build-depends:    base >=4.9 && <4.16
 
   -- these
   build-depends:    these >=1 && <1.2
 
   -- other dependencies
-  build-depends:    optics-core >=0.1 && <0.4
+  build-depends:    optics-core >=0.3 && <0.5