diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for composite-tuple
 
+## (v0.1.1.0)
+
+* Add `singleton`.
+
 ## (v0.1.0.0)
 
 * Add composite tuple functions `toFst`, `toSnd`, `fmapToFst`, `fmapToSnd`, `traverseToFst`, traverseToSnd`, `fanout`, `fanoutM`.
diff --git a/composite-tuple.cabal b/composite-tuple.cabal
--- a/composite-tuple.cabal
+++ b/composite-tuple.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           composite-tuple
-version:        0.1.0.0
+version:        0.1.1.0
 synopsis:       Tuple functions for composite records.
 description:    Tuple functions for composite records.
 category:       Data Structures
diff --git a/src/Composite/Record/Tuple.hs b/src/Composite/Record/Tuple.hs
--- a/src/Composite/Record/Tuple.hs
+++ b/src/Composite/Record/Tuple.hs
@@ -9,7 +9,8 @@
 Tuple functions for composite records, inspired by relude.
 -}
 module Composite.Record.Tuple (
-  toFst
+  singleton
+, toFst
 , toSnd
 , fmapToFst
 , fmapToSnd
@@ -20,6 +21,10 @@
 ) where
 
 import Composite.Record
+
+-- | Put a single value in a record.
+singleton :: a -> Record (s :-> a : '[])
+singleton a = a :*: RNil
 
 -- | Apply a function, with the result in the fst slot, and the value in the other.
 toFst :: (a -> b) -> a -> Record (s :-> b : s' :-> a : '[])