diff --git a/Data/Vector/Fixed.hs b/Data/Vector/Fixed.hs
--- a/Data/Vector/Fixed.hs
+++ b/Data/Vector/Fixed.hs
@@ -34,6 +34,7 @@
     -- $construction
     -- ** Small dimensions
     -- $smallDim
+  , mk0
   , mk1
   , mk2
   , mk3
@@ -114,6 +115,7 @@
     -- * Data types
   , VecList(..)
   , Only(..)
+  , Empty(..)
     -- ** Tuple synonyms
   , Tuple2
   , Tuple3
@@ -272,6 +274,24 @@
   {-# INLINE construct #-}
   {-# INLINE inspect   #-}
 
+-- | Empty tuple.
+data Empty a = Empty deriving (Typeable, Data)
+
+instance Functor Empty where
+  fmap _ Empty = Empty
+instance F.Foldable Empty where
+  foldr = foldr
+instance T.Traversable Empty where
+  sequenceA Empty = pure Empty
+  traverse _ Empty = pure Empty
+
+type instance Dim Empty = Z
+
+instance Vector Empty a where
+  construct = Fun Empty
+  inspect _ (Fun b) = b
+  {-# INLINE construct #-}
+  {-# INLINE inspect   #-}
 
 type Tuple2 a = (a,a)
 type Tuple3 a = (a,a,a)
diff --git a/Data/Vector/Fixed/Internal.hs b/Data/Vector/Fixed/Internal.hs
--- a/Data/Vector/Fixed/Internal.hs
+++ b/Data/Vector/Fixed/Internal.hs
@@ -64,6 +64,9 @@
 infixr 1 <|
 
 
+mk0 :: (Vector v a, Dim v ~ C.Z) => v a
+mk0 = vector $ C.empty
+{-# INLINE mk0 #-}
 
 mk1 :: (Vector v a, Dim v ~ C.N1) => a -> v a
 mk1 a1 = vector $ C.mk1 a1
diff --git a/fixed-vector.cabal b/fixed-vector.cabal
--- a/fixed-vector.cabal
+++ b/fixed-vector.cabal
@@ -1,5 +1,5 @@
 Name:           fixed-vector
-Version:        0.5.0.0
+Version:        0.5.1.0
 Synopsis:       Generic vectors with statically known size.
 Description:
   Generic library for vectors with statically known