diff --git a/src/lib/Witch.hs b/src/lib/Witch.hs
--- a/src/lib/Witch.hs
+++ b/src/lib/Witch.hs
@@ -161,8 +161,8 @@
   -- - Conversions should be lossless. If you have @From a b@ then no two @a@
   --   values should be converted to the same @b@ value.
   --
-  --   - Some conversions necessarily lose information, like converting from a
-  --     list into a set.
+  --     - Some conversions necessarily lose information, like converting from
+  --       a list into a set.
   --
   -- - If you have both @From a b@ and @From b a@, then
   --   @from \@b \@a . from \@a \@b@ should be the same as 'id'. In other
diff --git a/src/test/Main.hs b/src/test/Main.hs
--- a/src/test/Main.hs
+++ b/src/test/Main.hs
@@ -1,6 +1,7 @@
 {-# OPTIONS_GHC -Wno-error=overflowed-literals #-}
 
 {-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE NegativeLiterals #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 
@@ -89,6 +90,12 @@
       ]
     , "liftedInto" ~:
       [ $$(Witch.liftedInto @Int.Int8 (1 :: Int.Int16)) ~?= 1
+      ]
+    ]
+  , "TryFromException" ~:
+    [ "show" ~:
+      [ show (Witch.TryFromException @Int @Int 0 Nothing) ~?= "TryFromException @Int @Int 0 Nothing"
+      , show (Witch.TryFromException @(Seq.Seq Int) @(Seq.Seq Int) (Seq.fromList []) (Just (Exception.toException Exception.Overflow))) ~?= "TryFromException @(Seq Int) @(Seq Int) (fromList []) (Just arithmetic overflow)"
       ]
     ]
   , "Instances" ~:
diff --git a/witch.cabal b/witch.cabal
--- a/witch.cabal
+++ b/witch.cabal
@@ -1,7 +1,7 @@
 cabal-version: 2.2
 
 name: witch
-version: 0.3.4.0
+version: 0.3.4.1
 synopsis: Convert values from one type into another.
 description: Witch converts values from one type into another.
 
@@ -18,7 +18,7 @@
 
 common basics
   build-depends:
-    , base >= 4.10.0 && < 4.16
+    , base >= 4.10.0 && < 4.17
     , bytestring >= 0.10.8 && < 0.12
     , containers >= 0.5.10 && < 0.7
     , text >= 1.2.3 && < 1.3
@@ -46,12 +46,16 @@
     ghc-options:
       -Wno-missing-safe-haskell-mode
       -Wno-prepositive-qualified-module
+      
+  if impl(ghc >= 9.2)
+    ghc-options:
+      -Wno-missing-kind-signatures
 
 library
   import: basics
 
   build-depends:
-    , template-haskell >= 2.12.0 && < 2.18
+    , template-haskell >= 2.12.0 && < 2.19
   exposed-modules:
     Witch
     Witch.From