diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,18 +6,27 @@
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [PVP versioning](https://pvp.haskell.org/).
 
+## v0.1.3 _(2026-07-29)_
+
+### Added
+
+- Support `ghc-9.12` and `ghc-9.14` (#5)
+
 ## v0.1.2 _(2024-11-29)_
 
 ### Added
+
 - Added type aliases `SomesF` and `SomeF` for existentials with fixed containers
 - Added `mapSome` with infix `(<~$>)` and `traverseSome` with infix `(<~*>)`
 
 ## v0.1.1 _(2024-11-29)_
 
 ### Added
+
 - Added instance `Show (Somes cs)` if `cs` contains `Show`
 
 ## Initial release: v0.1.0 _(2024-11-27)_
 
 ### Added
+
 - Existentials `Somes` and `Somes1`
diff --git a/constrained-some.cabal b/constrained-some.cabal
--- a/constrained-some.cabal
+++ b/constrained-some.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               constrained-some
-version:            0.1.2
+version:            0.1.3
 synopsis:           Existential type that can be constrained
 description:        This library provides utilities for working with existential types and type-level constraints.
   It allows you to enforce multiple constraints on polymorphic types and containers complementing the package some.
@@ -16,13 +16,15 @@
 extra-source-files: README.md
 extra-doc-files:    CHANGELOG.md
 tested-with:
-  GHC ==8.10.4
+  GHC ==8.10.7
    || ==9.0.2
    || ==9.2.8
    || ==9.4.8
-   || ==9.6.5
-   || ==9.8.2
-   || ==9.10.1
+   || ==9.6.7
+   || ==9.8.4
+   || ==9.10.3
+   || ==9.12.4
+   || ==9.14.1
 
 common warnings
     ghc-options: -Wall
@@ -30,7 +32,7 @@
 library
     import:           warnings
     exposed-modules:  Data.Some.Constraint
-    build-depends:    base >=4.12 && <4.21
+    build-depends:    base >=4.12 && <4.23
     hs-source-dirs:   src
     default-language: Haskell2010
 
@@ -41,5 +43,5 @@
     hs-source-dirs:   test
     main-is:          Main.hs
     build-depends:
-        base >=4.12 && <4.21,
+        base >=4.12 && <4.23,
         constrained-some
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -1,4 +1,9 @@
 module Main (main) where
 
+import Data.Some.Constraint ( SomeF, Somes1(..) )
+
 main :: IO ()
-main = putStrLn "Test suite not yet implemented."
+main = do
+  let someListShowable :: SomeF [] Show
+      someListShowable = Some1 [1, 2, 3 :: Int]
+  print someListShowable