diff --git a/dependent-sum-aeson-orphans.cabal b/dependent-sum-aeson-orphans.cabal
--- a/dependent-sum-aeson-orphans.cabal
+++ b/dependent-sum-aeson-orphans.cabal
@@ -1,5 +1,5 @@
 name:          dependent-sum-aeson-orphans
-version:       0.3.0.0
+version:       0.3.1.0
 license:       BSD3
 license-file:  LICENSE
 author:        Obsidian Systems
@@ -10,14 +10,14 @@
 description:   JSON instances for DSum, DMap, and Some.
 synopsis:      JSON instances for DSum, DMap, and Some
 category:      json
-tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4
+tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.2
 
 library
   exposed-modules:  Data.Dependent.Sum.Orphans
   build-depends:
-      aeson               >=1.2    && <1.5
-    , base                >=4.9    && <4.14
-    , constraints         >=0.10.1 && <0.13
+      aeson               >=1.2    && <1.6
+    , base                >=4.9    && <4.15
+    , constraints         >=0.10.1 && <0.14
     , constraints-extras  >=0.3.0  && <0.4
     , dependent-map       >=0.3    && <0.5
     , dependent-sum       >=0.7    && <0.8
diff --git a/src/Data/Dependent/Sum/Orphans.hs b/src/Data/Dependent/Sum/Orphans.hs
--- a/src/Data/Dependent/Sum/Orphans.hs
+++ b/src/Data/Dependent/Sum/Orphans.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE PolyKinds #-} -- Necessary to allow DSums where the key and value range over types other than *
 {-# LANGUAGE TypeFamilies #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}