diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.2.0.2
+
+* Added support for mtl 2.3 and transformers 0.6 per [#152](https://github.com/stevenfontanella/microlens/issues/152).
+
 # 0.2.0.1
 
 * No more conditional `Safe` (see [#122](https://github.com/monadfix/microlens/issues/122)).
diff --git a/microlens-mtl.cabal b/microlens-mtl.cabal
--- a/microlens-mtl.cabal
+++ b/microlens-mtl.cabal
@@ -1,5 +1,5 @@
 name:                microlens-mtl
-version:             0.2.0.2
+version:             0.2.0.3
 synopsis:            microlens support for Reader/Writer/State from mtl
 description:
   This package contains functions (like 'view' or '+=') which work on 'MonadReader', 'MonadWriter', and 'MonadState' from the mtl package.
@@ -8,7 +8,7 @@
 license:             BSD3
 license-file:        LICENSE
 author:              Edward Kmett, Artyom Kazak
-maintainer:          Monadfix <hi@monadfix.com>
+maintainer:          Steven Fontanella <steven.fontanella@gmail.com>
 homepage:            http://github.com/monadfix/microlens
 bug-reports:         http://github.com/monadfix/microlens/issues
 -- copyright:
@@ -26,8 +26,9 @@
                      GHC==8.6.5
                      GHC==8.8.4
                      GHC==8.10.7
-                     GHC==9.0.1
-                     GHC==9.2.1
+                     GHC==9.0.2
+                     GHC==9.2.5
+                     GHC==9.4.3
 
 source-repository head
   type:                git
@@ -50,3 +51,4 @@
 
   hs-source-dirs:      src
   default-language:    Haskell2010
+  default-extensions:  TypeOperators
diff --git a/src/Lens/Micro/Mtl/Internal.hs b/src/Lens/Micro/Mtl/Internal.hs
--- a/src/Lens/Micro/Mtl/Internal.hs
+++ b/src/Lens/Micro/Mtl/Internal.hs
@@ -9,6 +9,9 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE Trustworthy #-}
+#if !MIN_VERSION_base(4, 9, 0)
+{-# LANGUAGE DataKinds #-}
+#endif
 
 -- This is needed because ErrorT is deprecated.
 {-# OPTIONS_GHC -fno-warn-warnings-deprecations #-}
@@ -78,13 +81,21 @@
 import Data.Monoid
 #endif
 
+#if MIN_VERSION_base(4,9,0)
+import Data.Kind (Type)
+#endif
 
+
 ------------------------------------------------------------------------------
 -- Zoomed
 ------------------------------------------------------------------------------
 
 -- | This type family is used by 'Zoom' to describe the common effect type.
+#if MIN_VERSION_base(4,9,0)
+type family Zoomed (m :: Type -> Type) :: Type -> Type -> Type
+#else
 type family Zoomed (m :: * -> *) :: * -> * -> *
+#endif
 type instance Zoomed (Strict.StateT s z) = Focusing z
 type instance Zoomed (Lazy.StateT s z) = Focusing z
 type instance Zoomed (ReaderT e m) = Zoomed m
@@ -419,7 +430,11 @@
 ------------------------------------------------------------------------------
 
 -- | This type family is used by 'Magnify' to describe the common effect type.
+#if MIN_VERSION_base(4,9,0)
+type family Magnified (m :: Type -> Type) :: Type -> Type -> Type
+#else
 type family Magnified (m :: * -> *) :: * -> * -> *
+#endif
 type instance Magnified (ReaderT b m) = Effect m
 type instance Magnified ((->)b) = Const
 type instance Magnified (Strict.RWST a w s m) = EffectRWS w s m
