diff --git a/Data/Vinyl/Derived.hs b/Data/Vinyl/Derived.hs
--- a/Data/Vinyl/Derived.hs
+++ b/Data/Vinyl/Derived.hs
@@ -178,6 +178,32 @@
       -> Rec f fs -> Rec g fs
 rmapf f = (rpureConstrained @KnownField (Lift f) <<*>>)
 
+-- | Remove the first component (e.g. the label) from a type-level
+-- list of pairs.
+type family Unlabeled ts where
+  Unlabeled '[] = '[]
+  Unlabeled ('(s,x) ': xs) = x ': Unlabeled xs
+
+-- | Facilities for removing and replacing the type-level label, or
+-- column name, part of a record.
+class StripFieldNames ts where
+  stripNames :: Rec ElField ts -> Rec Identity (Unlabeled ts)
+  stripNames' :: Functor f => Rec (f :. ElField) ts -> Rec f (Unlabeled ts)
+  withNames :: Rec Identity (Unlabeled ts) -> Rec ElField ts
+  withNames' :: Functor f => Rec f (Unlabeled ts) -> Rec (f :. ElField) ts
+
+instance StripFieldNames '[] where
+  stripNames RNil = RNil
+  stripNames' RNil = RNil
+  withNames RNil = RNil
+  withNames' RNil = RNil
+
+instance (KnownSymbol s, StripFieldNames ts) => StripFieldNames ('(s,t) ': ts) where
+  stripNames (Field x :& xs) = pure x :& stripNames xs
+  stripNames' (Compose x :& xs) = fmap getField x :& stripNames' xs
+  withNames (Identity x :& xs) = Field x :& withNames xs
+  withNames' (x :& xs) = Compose (fmap Field x) :& withNames' xs
+
 -- | Construct a 'Rec' with 'ElField' elements.
 rpuref :: AllFields fs => (forall a. KnownField a => f a) -> Rec f fs
 rpuref f = rpureConstrained @KnownField f
diff --git a/vinyl.cabal b/vinyl.cabal
--- a/vinyl.cabal
+++ b/vinyl.cabal
@@ -1,5 +1,5 @@
 name:                vinyl
-version:             0.9.2
+version:             0.9.3
 synopsis:            Extensible Records
 -- description:
 license:             MIT