diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+Changes in 0.6.2.0
+
+  * `Vec1' type synonym for boxed/unboxed/etc. vectors added.
+
+  * Vector instance for Data.Typeable.Proxy (GHC >= 7.8)
+
+
 Changes in 0.6.1.1
 
   * GHC 7.8 support
diff --git a/Data/Vector/Fixed/Boxed.hs b/Data/Vector/Fixed/Boxed.hs
--- a/Data/Vector/Fixed/Boxed.hs
+++ b/Data/Vector/Fixed/Boxed.hs
@@ -10,6 +10,7 @@
 module Data.Vector.Fixed.Boxed (
     -- * Immutable
     Vec
+  , Vec1
   , Vec2
   , Vec3
   , Vec4
@@ -50,6 +51,7 @@
 deriving instance Typeable3 MVec
 #endif
 
+type Vec1 = Vec (S Z)
 type Vec2 = Vec (S (S Z))
 type Vec3 = Vec (S (S (S Z)))
 type Vec4 = Vec (S (S (S (S Z))))
diff --git a/Data/Vector/Fixed/Cont.hs b/Data/Vector/Fixed/Cont.hs
--- a/Data/Vector/Fixed/Cont.hs
+++ b/Data/Vector/Fixed/Cont.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP                   #-}
 {-# LANGUAGE EmptyDataDecls        #-}
 {-# LANGUAGE DeriveDataTypeable    #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
@@ -116,7 +117,10 @@
 import Control.Applicative (Applicative(..),(<$>))
 import Control.Monad       (liftM)
 import Data.Complex        (Complex(..))
-import Data.Data           (Typeable(..),Data)
+import Data.Data           (Typeable,Data)
+#if __GLASGOW_HASKELL__ >= 708
+import Data.Typeable       (Proxy(..))
+#endif
 import qualified Data.Foldable    as F
 import qualified Data.Traversable as F
 
@@ -1111,3 +1115,11 @@
   inspect (a,b,c,d,e,f,g) (Fun fun) = fun a b c d e f g
   {-# INLINE construct #-}
   {-# INLINE inspect #-}
+
+#if __GLASGOW_HASKELL__ >= 708
+type instance Dim Proxy = Z
+
+instance Vector Proxy a where
+  construct = Fun Proxy
+  inspect _ = unFun
+#endif
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
@@ -17,7 +17,6 @@
 import Data.Vector.Fixed.Cont     (Vector(..),Dim,S,Z,Arity,vector)
 import qualified Data.Vector.Fixed.Cont as C
 import           Data.Vector.Fixed.Cont   (ContVec,Index)
-import qualified Prelude as P
 import Prelude hiding ( replicate,map,zipWith,maximum,minimum,and,or,all,any
                       , foldl,foldr,foldl1,length,sum,reverse
                       , head,tail,mapM,mapM_,sequence,sequence_
diff --git a/Data/Vector/Fixed/Primitive.hs b/Data/Vector/Fixed/Primitive.hs
--- a/Data/Vector/Fixed/Primitive.hs
+++ b/Data/Vector/Fixed/Primitive.hs
@@ -12,6 +12,7 @@
 module Data.Vector.Fixed.Primitive (
     -- * Immutable
     Vec
+  , Vec1
   , Vec2
   , Vec3
   , Vec4
@@ -53,6 +54,7 @@
 deriving instance Typeable3 MVec
 #endif
 
+type Vec1 = Vec (S Z)
 type Vec2 = Vec (S (S Z))
 type Vec3 = Vec (S (S (S Z)))
 type Vec4 = Vec (S (S (S (S Z))))
diff --git a/Data/Vector/Fixed/Storable.hs b/Data/Vector/Fixed/Storable.hs
--- a/Data/Vector/Fixed/Storable.hs
+++ b/Data/Vector/Fixed/Storable.hs
@@ -10,6 +10,7 @@
 module Data.Vector.Fixed.Storable (
     -- * Immutable
     Vec
+  , Vec1
   , Vec2
   , Vec3
   , Vec4
@@ -60,6 +61,7 @@
 deriving instance Typeable3 MVec
 #endif
 
+type Vec1 = Vec (S Z)
 type Vec2 = Vec (S (S Z))
 type Vec3 = Vec (S (S (S Z)))
 type Vec4 = Vec (S (S (S (S Z))))
diff --git a/Data/Vector/Fixed/Unboxed.hs b/Data/Vector/Fixed/Unboxed.hs
--- a/Data/Vector/Fixed/Unboxed.hs
+++ b/Data/Vector/Fixed/Unboxed.hs
@@ -12,6 +12,7 @@
 module Data.Vector.Fixed.Unboxed(
     -- * Immutable
     Vec
+  , Vec1
   , Vec2
   , Vec3
   , Vec4
@@ -52,6 +53,7 @@
 deriving instance Typeable3 MVec
 #endif
 
+type Vec1 = Vec (S Z)
 type Vec2 = Vec (S (S Z))
 type Vec3 = Vec (S (S (S Z)))
 type Vec4 = Vec (S (S (S (S Z))))
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.6.1.1
+Version:        0.6.2.0
 Synopsis:       Generic vectors with statically known size.
 Description:
   Generic library for vectors with statically known