diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+1.15.4
+------
+* Added Typeable and Data instances for V
+
 1.15.3
 ------
 * Added missing `FunctorWithIndex`, `FoldableWithIndex` and `TraversableWithIndex Int (V n)` instances for `V`
diff --git a/linear.cabal b/linear.cabal
--- a/linear.cabal
+++ b/linear.cabal
@@ -1,6 +1,6 @@
 name:          linear
 category:      Math, Algebra
-version:       1.15.3
+version:       1.15.4
 license:       BSD3
 cabal-version: >= 1.8
 license-file:  LICENSE
diff --git a/src/Linear/V.hs b/src/Linear/V.hs
--- a/src/Linear/V.hs
+++ b/src/Linear/V.hs
@@ -6,16 +6,15 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE EmptyDataDecls #-}
 {-# LANGUAGE MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, UndecidableInstances #-}
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707
+{-# LANGUAGE DeriveDataTypeable #-}
+#if __GLASGOW_HASKELL__ >= 707
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE RoleAnnotations #-}
 #define USE_TYPE_LITS 1
 #endif
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
 {-# LANGUAGE Trustworthy #-}
 {-# LANGUAGE DeriveGeneric #-}
-#endif
 
 #ifndef MIN_VERSION_reflection
 #define MIN_VERSION_reflection(x,y,z) 1
@@ -47,11 +46,14 @@
 import Control.Monad.Fix
 import Control.Monad.Zip
 import Control.Lens as Lens
+import Data.Data
 import Data.Distributive
 import Data.Foldable as Foldable
 import Data.Functor.Bind
 import Data.Functor.Rep as Rep
+#if __GLASGOW_HASKELL__ < 708
 import Data.Proxy
+#endif
 import Data.Reflection as R
 import Data.Vector as V
 import Foreign.Ptr
@@ -59,10 +61,10 @@
 #ifdef USE_TYPE_LITS
 import GHC.TypeLits
 #endif
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+#if __GLASGOW_HASKELL__ >= 702
 import GHC.Generics (Generic)
 #endif
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707
+#if __GLASGOW_HASKELL__ >= 707
 import GHC.Generics (Generic1)
 #endif
 #if !(MIN_VERSION_reflection(1,3,0))
@@ -75,16 +77,14 @@
 class Dim n where
   reflectDim :: p n -> Int
 
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707
+#if __GLASGOW_HASKELL__ >= 707
 type role V nominal representational
 #endif
 
-newtype V n a = V { toVector :: V.Vector a } deriving (Eq,Ord,Show,Read
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
-                                                      ,Generic
-#endif
+newtype V n a = V { toVector :: V.Vector a } deriving (Eq,Ord,Show,Read,Typeable
+                                                      , Generic
 -- GHC bug: https://ghc.haskell.org/trac/ghc/ticket/8468
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707
+#if __GLASGOW_HASKELL__ >= 707
                                                       ,Generic1
 #endif
                                                       )
@@ -310,3 +310,20 @@
   {-# INLINE minBound #-}
   maxBound = pure maxBound
   {-# INLINE maxBound #-}
+
+vConstr :: Constr
+vConstr = mkConstr vDataType "variadic" [] Prefix
+{-# NOINLINE vConstr #-}
+
+vDataType :: DataType
+vDataType = mkDataType "Linear.V.V" [vConstr]
+{-# NOINLINE vDataType #-}
+
+instance (Dim n, Typeable n, Data a) => Data (V n a) where
+  gfoldl f z (V as) = z (V . fromList) `f` V.toList as
+  toConstr _ = vConstr
+  gunfold k z c = case constrIndex c of
+    1 -> k (z (V . fromList))
+    _ -> error "gunfold"
+  dataTypeOf _ = vDataType
+  dataCast1 f = gcast1 f