diff --git a/src/TypeUnary/Vec.hs b/src/TypeUnary/Vec.hs
--- a/src/TypeUnary/Vec.hs
+++ b/src/TypeUnary/Vec.hs
@@ -225,10 +225,12 @@
 --   show ZVec = "ZVec"
 --   show (a :< v) = show a ++ " :< " ++ show v
 
+{-
 -- | Enumerate the elements of a vector.  See also 'elemsV'
--- vElems :: Vec n a -> [a]
--- vElems ZVec      = []
--- vElems (a :< as) = a : vElems as
+vElems :: Vec n a -> [a]
+vElems ZVec      = []
+vElems (a :< as) = a : vElems as
+-}
 
 -- TODO: Add strictness annotations ("!") to (:<) arguments & compare
 
diff --git a/type-unary.cabal b/type-unary.cabal
--- a/type-unary.cabal
+++ b/type-unary.cabal
@@ -1,5 +1,5 @@
 Name:                type-unary
-Version:             0.1.3
+Version:             0.1.4
 Cabal-Version:       >= 1.2
 Synopsis:            
   Type-level and typed unary natural numbers, vectors, inequality proofs