diff --git a/Data/Vector/Fixed.hs b/Data/Vector/Fixed.hs
--- a/Data/Vector/Fixed.hs
+++ b/Data/Vector/Fixed.hs
@@ -55,6 +55,7 @@
     -- ** Transformations
   , head
   , tail
+  , cons
   , (!)
     -- ** Comparison
   , eq
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
@@ -196,6 +196,12 @@
 {-# INLINE tail #-}
 tail = C.vector . C.tail . C.cvec
 
+-- | Cons element to the vector
+cons :: (Vector v a, Vector w a, S (Dim v) ~ Dim w)
+     => a -> v a -> w a
+{-# INLINE cons #-}
+cons a = C.vector . C.cons a . C.cvec
+
 -- | Retrieve vector's element at index. Generic implementation is
 --   /O(n)/ but more efficient one is used when possible.
 (!) :: (Vector v a) => v a -> Int -> a
diff --git a/Data/Vector/Fixed/Internal/Arity.hs b/Data/Vector/Fixed/Internal/Arity.hs
--- a/Data/Vector/Fixed/Internal/Arity.hs
+++ b/Data/Vector/Fixed/Internal/Arity.hs
@@ -49,7 +49,7 @@
 type instance Fn (S n) a b = a -> Fn n a b
 
 -- | Newtype wrapper which is used to make 'Fn' injective.
-newtype Fun n a b = Fun (Fn n a b)
+newtype Fun n a b = Fun { unFun :: Fn n a b }
 
 newtype T_fmap a b n = T_fmap (Fn n a b)
 
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.4.0.0
+Version:        0.4.1.0
 Synopsis:       Generic vectors with statically known size.
 Description:
   Generic library for vectors with statically known
@@ -44,6 +44,12 @@
   .
   [@Data.Vector.Fixed.Monomorphic@]
   Wrappers for monomorphic vectors
+  .
+  Changes in 0.4.0.0
+  .
+  * @cons@ function added.
+  .
+  * Getter to @Fun@ data type added.
   .
   Changes in 0.4.0.0
   .