diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,13 @@
 `typerep-map` uses [PVP Versioning][1].
 The changelog is available [on GitHub][2].
 
+## 0.5.0.0 — Feb 15, 2022
+
+* [#117](https://github.com/kowainik/typerep-map/issues/117):
+  Support GHC-9.2
+* [#112](https://github.com/kowainik/typerep-map/issues/112):
+  Change `TypeRepMap` parameter role to `representational`.
+
 ## 0.4.0.0 — Aug 3, 2021
 
 * [#109](https://github.com/kowainik/typerep-map/issues/109):
diff --git a/src/Data/TMap.hs b/src/Data/TMap.hs
--- a/src/Data/TMap.hs
+++ b/src/Data/TMap.hs
@@ -3,7 +3,7 @@
 
 {- |
 Module                  : Data.TMap
-Copyright               : (c) 2017-2021 Kowainik
+Copyright               : (c) 2017-2022 Kowainik
 SPDX-License-Identifier : MPL-2.0
 Maintainer              : Kowainik <xrom.xkov@gmail.com>
 Stability               : Stable
diff --git a/src/Data/TypeRepMap.hs b/src/Data/TypeRepMap.hs
--- a/src/Data/TypeRepMap.hs
+++ b/src/Data/TypeRepMap.hs
@@ -2,7 +2,7 @@
 
 {- |
 Module                  : Data.TypeRepMap
-Copyright               : (c) 2017-2021 Kowainik
+Copyright               : (c) 2017-2022 Kowainik
 SPDX-License-Identifier : MPL-2.0
 Maintainer              : Kowainik <xrom.xkov@gmail.com>
 Stability               : Stable
diff --git a/src/Data/TypeRepMap/Internal.hs b/src/Data/TypeRepMap/Internal.hs
--- a/src/Data/TypeRepMap/Internal.hs
+++ b/src/Data/TypeRepMap/Internal.hs
@@ -9,6 +9,7 @@
 {-# LANGUAGE MagicHash             #-}
 {-# LANGUAGE PolyKinds             #-}
 {-# LANGUAGE Rank2Types            #-}
+{-# LANGUAGE RoleAnnotations       #-}
 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE TypeInType            #-}
 {-# LANGUAGE ViewPatterns          #-}
@@ -21,7 +22,7 @@
 
 {- |
 Module                  : Data.TypeRepMap.Internal
-Copyright               : (c) 2017-2021 Kowainik
+Copyright               : (c) 2017-2022 Kowainik
 SPDX-License-Identifier : MPL-2.0
 Maintainer              : Kowainik <xrom.xkov@gmail.com>
 Stability               : Stable
@@ -92,6 +93,7 @@
 'lookup' significantly more efficient.
 
 -}
+type role TypeRepMap representational
 data TypeRepMap (f :: k -> Type) =
   TypeRepMap
     { fingerprintAs :: {-# UNPACK #-} !(PrimArray Word64) -- ^ first components of key fingerprints
diff --git a/typerep-map.cabal b/typerep-map.cabal
--- a/typerep-map.cabal
+++ b/typerep-map.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                typerep-map
-version:             0.4.0.0
+version:             0.5.0.0
 synopsis:            Efficient implementation of a dependent map with types as keys
 description:
     A dependent map from type representations to values of these types.
@@ -23,7 +23,7 @@
 license-file:        LICENSE
 author:              Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov
 maintainer:          Kowainik <xrom.xkov@gmail.com>
-copyright:           2017-2021 Kowainik
+copyright:           2017-2022 Kowainik
 category:            Data, Data Structures, Types
 build-type:          Simple
 extra-doc-files:     README.md
@@ -32,15 +32,16 @@
                    , GHC == 8.4.4
                    , GHC == 8.6.5
                    , GHC == 8.8.4
-                   , GHC == 8.10.5
-                   , GHC == 9.0.1
+                   , GHC == 8.10.7
+                   , GHC == 9.0.2
+                   , GHC == 9.2.1
 
 source-repository head
   type:                git
   location:            https://github.com/kowainik/typerep-map.git
 
 common common-options
-  build-depends:       base >= 4.10 && < 4.16
+  build-depends:       base >= 4.10 && < 4.17
 
   default-language:    Haskell2010
   default-extensions:  BangPatterns
@@ -72,7 +73,7 @@
                        Data.TypeRepMap
                        Data.TypeRepMap.Internal
 
-  build-depends:       ghc-prim >= 0.5.1.1 && < 0.8
+  build-depends:       ghc-prim >= 0.5.1.1 && < 0.9
                      , primitive ^>= 0.7.0
                      , deepseq ^>= 1.4
 
@@ -100,8 +101,8 @@
                      , Test.TypeRep.VectorOpt
 
   build-depends:       ghc-typelits-knownnat >= 0.4.2 && < 0.8
-                     , hedgehog ^>= 1.0
-                     , hspec >= 2.7.1 && < 2.9
+                     , hedgehog >= 1.0 && < 1.2
+                     , hspec >= 2.7.1 && < 2.10
                      , hspec-hedgehog ^>= 0.0.1
                      , typerep-map
                      , typerep-extra-impls