diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for aeson-default-field
 
+## 0.1.1.0 -- 2024-10-09
+
+* Simplified signature of parseWithDefaults
+
+
 ## 0.1.0.0 -- 2024-10-08
 
 * First version. Released on an unsuspecting world.
diff --git a/aeson-generic-default.cabal b/aeson-generic-default.cabal
--- a/aeson-generic-default.cabal
+++ b/aeson-generic-default.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               aeson-generic-default
-version:            0.1.0.0
+version:            0.1.1.0
 synopsis:           Type-level default fields for aeson Generic FromJSON parser
 description:        Define default values for missing FromJSON object fields within field type declaration. 
 
@@ -56,7 +56,7 @@
     import:           warnings, extensions
     exposed-modules:  Data.Aeson.DefaultField
     build-depends:    
-                      base >=4.16 && < 4.21,
+                      base >=4.16 && < 5,
                       aeson >= 2.2 && < 2.3,
                       data-default >= 0.7 && < 0.8,
                       text >= 2.0 && < 2.2
diff --git a/src/Data/Aeson/DefaultField.hs b/src/Data/Aeson/DefaultField.hs
--- a/src/Data/Aeson/DefaultField.hs
+++ b/src/Data/Aeson/DefaultField.hs
@@ -134,15 +134,19 @@
   type EmbeddedType (D1 d (C1 c (S1 s (K1 i a)))) = a
 
 -- | 'genericParseJSON' drop-in replacement
-parseWithDefaults :: forall (o :: ParseStage -> Type) x. 
+parseWithDefaults :: forall (o :: ParseStage -> Type).
     (AE.GFromJSON AE.Zero (Rep (o InsertDefaults))
     , Generic (o InsertDefaults), Generic (o Final)
-    , Coercible (Rep (o InsertDefaults) x) (Rep (o Final) x)
+    , Coercible (Rep (o InsertDefaults)) (Rep (o Final))
     ) 
     => AE.Options -> AE.Value -> Parser (o Final)
-parseWithDefaults opts v = do
-  (dx :: o InsertDefaults) <- genericParseJSON opts v
-  return $ to @_ @x (coerce (from @_ @x dx))
+parseWithDefaults opts v =
+    gcoerce <$> genericParseJSON @(o InsertDefaults) opts v
+  where
+    -- Taken from generic-data
+    gcoerce = to . coerce1 . from
+    coerce1 :: Coercible f g => f x -> g x
+    coerce1 = coerce
 
 -- $use
 --