diff --git a/heterogeneous-list-literals.cabal b/heterogeneous-list-literals.cabal
--- a/heterogeneous-list-literals.cabal
+++ b/heterogeneous-list-literals.cabal
@@ -2,7 +2,7 @@
 -- further documentation, see http://haskell.org/cabal/users-guide/
 
 name:                heterogeneous-list-literals
-version:             0.1.0.1
+version:             0.2.0.0
 synopsis:            Allows the use of tuples as literals for Heterogeneous collections
 homepage:            https://github.com/davidm-d/heterogeneous-list-literals
 license:             BSD3
@@ -27,7 +27,7 @@
   > a = hList ()
   > 
   > b :: HList '[Bool]
-  > b = hList (OneTuple True)
+  > b = hList (Only True)
   > 
   > c :: HList '[Bool, Int, Double, String]
   > c = hList (True, 24, 10.5, "Fire")
@@ -40,8 +40,8 @@
   exposed-modules:     Data.HeterogeneousListLiterals
   -- other-modules:       
   -- other-extensions:    
-  build-depends:       base >=4.9 && <= 4.11
-                     , OneTuple >= 0.2.1
+  build-depends:       base >=4.9 && < 4.12
+                     , Only >= 0.1 && < 0.2
   hs-source-dirs:      src
   default-language:    Haskell2010
 
diff --git a/src/Data/HeterogeneousListLiterals.hs b/src/Data/HeterogeneousListLiterals.hs
--- a/src/Data/HeterogeneousListLiterals.hs
+++ b/src/Data/HeterogeneousListLiterals.hs
@@ -9,12 +9,12 @@
 module Data.HeterogeneousListLiterals (
     HeterogeneousListLiteral(..)
   , HLL
-  , module Data.Tuple.OneTuple
+  , module Data.Tuple.Only
   ) where
 
 import GHC.TypeLits
 import Data.Kind
-import Data.Tuple.OneTuple
+import Data.Tuple.Only
 import Control.Monad
 import Data.Dynamic
 import Data.Tuple
@@ -30,8 +30,8 @@
 instance HeterogeneousListLiteral () '[] where
   toDynamicList () = []
 
-instance Typeable a1 => HeterogeneousListLiteral (OneTuple a1) '[a1] where
-  toDynamicList (OneTuple a1) = [toDyn a1]
+instance Typeable a1 => HeterogeneousListLiteral (Only a1) '[a1] where
+  toDynamicList (Only a1) = [toDyn a1]
 
 -- all code generated below comes from this function
 -- generate :: Int -- ^ up to N
diff --git a/test/Docs.hs b/test/Docs.hs
--- a/test/Docs.hs
+++ b/test/Docs.hs
@@ -1,11 +1,11 @@
-{-# Language TypeApplications, DataKinds, TypeInType, KindSignatures #-}
+{-# Language DataKinds, TypeInType, KindSignatures #-}
 
 import Data.HeterogeneousListLiterals
 import GHC.TypeLits
 import Data.Kind
 import Data.Dynamic
 
-data HList (a :: [Type]) = HList [Dynamic]
+newtype HList (a :: [Type]) = HList [Dynamic]
 
 hList :: HLL input output => input -> HList output
 hList = HList . toDynamicList
@@ -14,7 +14,7 @@
 a = hList ()
 
 b :: HList '[Bool]
-b = hList (OneTuple True)
+b = hList (Only True)
 
 c :: HList '[Bool, Int, Double, String]
 c = hList (True, 24, 10.5, "Fire")