diff --git a/linear.cabal b/linear.cabal
--- a/linear.cabal
+++ b/linear.cabal
@@ -1,6 +1,6 @@
 name:          linear
 category:      Math, Algebra
-version:       0.7
+version:       0.8
 license:       BSD3
 cabal-version: >= 1.8
 license-file:  LICENSE
@@ -36,6 +36,7 @@
     hashable         >= 1.1 && < 1.3,
     semigroups       >= 0.9,
     semigroupoids    >= 3,
+    transformers     >= 0.2 && < 0.4,
     unordered-containers >= 0.2.3
 
   exposed-modules:
diff --git a/src/Linear.hs b/src/Linear.hs
--- a/src/Linear.hs
+++ b/src/Linear.hs
@@ -19,6 +19,7 @@
   , module Linear.Metric
   , module Linear.Plucker
   , module Linear.Quaternion
+  , module Linear.V0
   , module Linear.V2
   , module Linear.V3
   , module Linear.V4
@@ -33,6 +34,7 @@
 import Linear.Metric
 import Linear.Plucker
 import Linear.Quaternion
+import Linear.V0
 import Linear.V2
 import Linear.V3
 import Linear.V4
diff --git a/src/Linear/Vector.hs b/src/Linear/Vector.hs
--- a/src/Linear/Vector.hs
+++ b/src/Linear/Vector.hs
@@ -25,6 +25,7 @@
 import Data.Complex
 import Data.Foldable (foldMap)
 import Data.Functor.Bind
+import Data.Functor.Identity
 import Data.HashMap.Lazy as HashMap
 import Data.Hashable
 import Data.IntMap as IntMap
@@ -94,6 +95,8 @@
 instance Additive ((->) b)
 
 instance Additive Complex
+
+instance Additive Identity
 
 -- | Compute the negation of a vector
 --