diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# 0.13.0
+- GHC 8.10.1 support fix. A fix for the previous attempt at 8.10 support involves a backwards incompatible change.
+
 # 0.12.2
 
 - GHC 8.10.1 support
diff --git a/Data/Vinyl/Lens.hs b/Data/Vinyl/Lens.hs
--- a/Data/Vinyl/Lens.hs
+++ b/Data/Vinyl/Lens.hs
@@ -122,13 +122,13 @@
 rput' :: forall k (r :: k) (r' :: k) (rs :: [k]) (rs' :: [k]) record f
        . (RecElem record r r' rs rs' (RIndex r rs), RecElemFCtx record f)
       => f r' -> record f rs -> record f rs'
-rput' = rputC @_ @_ @r @r'
+rput' = rputC @k @record @r @r' @rs @rs'
 
 -- | Type-preserving field setter. This type is simpler to work with
 -- than that of 'rput''.
 rput :: forall k (r :: k) rs record f. (RecElem record r r rs rs (RIndex r rs), RecElemFCtx record f)
       => f r -> record f rs -> record f rs
-rput = rput' @_ @r
+rput = rput' @_ @r @r @rs @rs @record
 
 -- | Type-changing field lens 'rlensC' with the type arguments
 -- re-ordered for more convenient usage with @TypeApplications@.
diff --git a/vinyl.cabal b/vinyl.cabal
--- a/vinyl.cabal
+++ b/vinyl.cabal
@@ -1,5 +1,5 @@
 name:                vinyl
-version:             0.12.3
+version:             0.13.0
 synopsis:            Extensible Records
 -- description:
 license:             MIT
@@ -97,7 +97,7 @@
   type:             exitcode-stdio-1.0
   hs-source-dirs:   tests
   main-is:          Aeson.hs
-  build-depends:    base, hspec, aeson >= 1.5.2, text, mtl, vinyl,
+  build-depends:    base, hspec, aeson >= 1.4, text, mtl, vinyl,
                     vector, unordered-containers, lens, lens-aeson
   default-language: Haskell2010