diff --git a/hkd-records.cabal b/hkd-records.cabal
--- a/hkd-records.cabal
+++ b/hkd-records.cabal
@@ -1,5 +1,5 @@
 name:                hkd-records
-version:             0.0.5
+version:             0.0.6
 cabal-version:       >=1.10
 synopsis:  higher kinded record operations
 description: make higher kinded records great again
diff --git a/src/Data/HKD/Records.hs b/src/Data/HKD/Records.hs
--- a/src/Data/HKD/Records.hs
+++ b/src/Data/HKD/Records.hs
@@ -97,6 +97,9 @@
   genFieldNames = M1 $ M1 $ genFieldNames
   {-# INLINE genFieldNames #-}
 
+instance (GFieldNames (U1 ())) where
+  genFieldNames = U1
+
 data Dict c (t :: k) where
   -- | reified type class dictionary. You can use the contained
   -- typeclass by putting the `Dict` constructor somewhere within
@@ -131,6 +134,9 @@
 instance GFDicts (b ()) => (GFDicts ((D1 meta (C1 meta2 b)) ())) where
   genFdict = M1 $ M1 $ genFdict
   {-# INLINE genFdict #-}
+
+instance GFDicts (U1 ()) where
+  genFdict = U1
 
 tupleToList :: Type -> Maybe [Type]
 tupleToList (AppT (TupleT _) t) = Just [t]