diff --git a/poly-rec.cabal b/poly-rec.cabal
--- a/poly-rec.cabal
+++ b/poly-rec.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                poly-rec
-version:             0.7.0.0
+version:             0.7.0.2
 synopsis:            Polykinded extensible records
 description:         Extensible records/row polymorphism for Haskell. Fields are polykinded,
                      to statically check rich structures. This library was initially conceived
@@ -24,7 +24,7 @@
                    
   -- other-modules:
   -- other-extensions:
-  build-depends:       requirements >= 0.6.0.0 && < 0.7,
+  build-depends:       requirements >= 0.7.0.2 && < 0.7.1,
                        base >=4.11 && <4.18
   hs-source-dirs:      src
   default-language:    Haskell2010
diff --git a/src/Data/GenRec.hs b/src/Data/GenRec.hs
--- a/src/Data/GenRec.hs
+++ b/src/Data/GenRec.hs
@@ -303,9 +303,10 @@
                     :$$: Text "updating the " :<>: Text (ShowField c)
                      :<>: ShowTE l)) ctx)
   =>
-  Require (OpUpdate c l v '[]) ctx where
-  type ReqR (OpUpdate c l v ('[] )  ) = Rec c '[]
-  req = undefined
+  Require (OpUpdate c (l :: k') (v :: k'') ('[] :: [(k', k'')])) ctx where
+  type ReqR (OpUpdate c l v ('[] :: [(k', k'')]) )
+    = Rec c ('[] :: [(k', k'')])
+  req ctx (OpUpdate l f EmptyRec) = EmptyRec
 
 -- | label found
 instance 
@@ -450,4 +451,4 @@
   type ReqR (OpLookupCall c l r) =
     ReqR (OpLookup c l r)
   req ctx (OpLookupCall l r) =
-   req (Proxy @ (ShowType r ': ctx)) (OpLookup l r)
+   req (Proxy @(ShowType r ': ctx)) (OpLookup l r)
diff --git a/src/Data/GenRec/RecInstances/Record.hs b/src/Data/GenRec/RecInstances/Record.hs
--- a/src/Data/GenRec/RecInstances/Record.hs
+++ b/src/Data/GenRec/RecInstances/Record.hs
@@ -88,7 +88,7 @@
   =>
   Show (Tagged l v) where
   show (Tagged v :: TagField Reco l v) =
-    symbolVal (proxyFrom (Label @ l)) ++ " : "++ show v
+    symbolVal (proxyFrom (Label @l)) ++ " : "++ show v
      where proxyFrom :: Label l -> Proxy l
            proxyFrom _ = Proxy