diff -Nru haskell-algebra-2.0.4/algebra.cabal haskell-algebra-2.0.7/algebra.cabal
--- haskell-algebra-2.0.4/algebra.cabal	2011-11-07 19:03:27.000000000 +0000
+++ haskell-algebra-2.0.7/algebra.cabal	2012-02-26 17:37:18.000000000 +0000
@@ -1,6 +1,6 @@
 name:          algebra
 category:      Math, Algebra
-version:       2.0.4
+version:       2.0.7
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -32,19 +32,19 @@
     RebindableSyntax
     GeneralizedNewtypeDeriving
 
-  build-depends: 
-    array                   >= 0.3.0.2 && < 0.4,
+  build-depends:
+    array                   >= 0.3.0.2 && < 0.5,
     base                    >= 4       && < 5,
     distributive            >= 0.2     && < 0.3,
-    transformers            >= 0.2.0   && < 0.3,
+    transformers            >= 0.2     && < 0.3,
     tagged                  >= 0.2.2.3 && < 0.3,
-    categories              >= 0.58.0  && < 0.59,
+    categories              >= 0.59    && < 0.60,
     containers              >= 0.3     && < 0.5,
-    keys                    >= 2.1     && < 2.2,
-    mtl                     >= 2.0     && < 2.1,
+    keys                    >= 2.1.2   && < 2.2,
+    mtl                     >= 2       && < 2.1,
     semigroups              >= 0.8     && < 0.9,
-    semigroupoids           >= 1.2.6   && < 1.3,
-    representable-functors  >= 2.1     && < 2.2,
+    semigroupoids           >= 1.2.6.1 && < 1.3,
+    representable-functors  >= 2.1.2   && < 2.2,
     representable-tries     >= 2.0.4   && < 2.1,
     void                    >= 0.5.4.3 && < 0.6
 
diff -Nru haskell-algebra-2.0.4/debian/changelog haskell-algebra-2.0.7/debian/changelog
--- haskell-algebra-2.0.4/debian/changelog	2011-11-24 17:07:37.000000000 +0000
+++ haskell-algebra-2.0.7/debian/changelog	2012-03-07 14:02:18.000000000 +0000
@@ -1,3 +1,9 @@
+haskell-algebra (2.0.7-1) unstable; urgency=low
+
+  * New upstream release
+
+ -- Joachim Breitner <nomeata@debian.org>  Wed, 07 Mar 2012 15:02:18 +0100
+
 haskell-algebra (2.0.4-1) unstable; urgency=low
 
   * New upstream release.
diff -Nru haskell-algebra-2.0.4/debian/control haskell-algebra-2.0.7/debian/control
--- haskell-algebra-2.0.4/debian/control	2011-11-24 17:07:37.000000000 +0000
+++ haskell-algebra-2.0.7/debian/control	2012-03-07 14:04:38.000000000 +0000
@@ -18,22 +18,22 @@
                libghc-tagged-dev (>= 0.2.2.3),
                libghc-tagged-dev (<< 0.3),
                libghc-tagged-prof,
-               libghc-categories-dev (>= 0.58.0),
-               libghc-categories-dev (<< 0.59),
+               libghc-categories-dev (>= 0.59),
+               libghc-categories-dev (<< 0.60),
                libghc-categories-prof,
-               libghc-keys-dev (>= 2.1),
+               libghc-keys-dev (>= 2.1.2),
                libghc-keys-dev (<< 2.2),
                libghc-keys-prof,
-               libghc-mtl-dev (>= 2.0),
+               libghc-mtl-dev (>= 2),
                libghc-mtl-dev (<< 2.1),
                libghc-mtl-prof,
                libghc-semigroups-dev (>= 0.8),
                libghc-semigroups-dev (<< 0.9),
                libghc-semigroups-prof,
-               libghc-semigroupoids-dev (>= 1.2.6),
+               libghc-semigroupoids-dev (>= 1.2.6.1),
                libghc-semigroupoids-dev (<< 1.3),
                libghc-semigroupoids-prof,
-               libghc-representable-functors-dev (>= 2.1),
+               libghc-representable-functors-dev (>= 2.1.2),
                libghc-representable-functors-dev (<< 2.2),
                libghc-representable-functors-prof,
                libghc-representable-tries-dev (>= 2.0.4),
diff -Nru haskell-algebra-2.0.4/Numeric/Algebra/Complex.hs haskell-algebra-2.0.7/Numeric/Algebra/Complex.hs
--- haskell-algebra-2.0.4/Numeric/Algebra/Complex.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Algebra/Complex.hs	2012-02-26 17:37:18.000000000 +0000
@@ -24,7 +24,6 @@
 import Data.Foldable
 import Data.Ix hiding (index)
 import Data.Key
-import Data.Monoid
 import Data.Semigroup
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
diff -Nru haskell-algebra-2.0.4/Numeric/Algebra/Hyperbolic.hs haskell-algebra-2.0.7/Numeric/Algebra/Hyperbolic.hs
--- haskell-algebra-2.0.4/Numeric/Algebra/Hyperbolic.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Algebra/Hyperbolic.hs	2012-02-26 17:37:18.000000000 +0000
@@ -15,7 +15,6 @@
 import Data.Foldable
 import Data.Ix
 import Data.Key
-import Data.Monoid
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
 import Data.Semigroup
diff -Nru haskell-algebra-2.0.4/Numeric/Algebra/Quaternion.hs haskell-algebra-2.0.7/Numeric/Algebra/Quaternion.hs
--- haskell-algebra-2.0.4/Numeric/Algebra/Quaternion.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Algebra/Quaternion.hs	2012-02-26 17:37:18.000000000 +0000
@@ -26,7 +26,6 @@
 import Data.Functor.Representable.Trie
 import Data.Foldable
 import Data.Traversable
-import Data.Monoid
 import Data.Semigroup
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
diff -Nru haskell-algebra-2.0.4/Numeric/Coalgebra/Dual.hs haskell-algebra-2.0.7/Numeric/Coalgebra/Dual.hs
--- haskell-algebra-2.0.4/Numeric/Coalgebra/Dual.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Coalgebra/Dual.hs	2012-02-26 17:37:18.000000000 +0000
@@ -16,7 +16,6 @@
 import Data.Foldable
 import Data.Ix
 import Data.Key
-import Data.Monoid
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
 import Data.Semigroup
diff -Nru haskell-algebra-2.0.4/Numeric/Coalgebra/Hyperbolic.hs haskell-algebra-2.0.7/Numeric/Coalgebra/Hyperbolic.hs
--- haskell-algebra-2.0.4/Numeric/Coalgebra/Hyperbolic.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Coalgebra/Hyperbolic.hs	2012-02-26 17:37:18.000000000 +0000
@@ -15,7 +15,6 @@
 import Data.Foldable
 import Data.Ix
 import Data.Key
-import Data.Monoid
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
 import Data.Semigroup
diff -Nru haskell-algebra-2.0.4/Numeric/Coalgebra/Quaternion.hs haskell-algebra-2.0.7/Numeric/Coalgebra/Quaternion.hs
--- haskell-algebra-2.0.4/Numeric/Coalgebra/Quaternion.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Coalgebra/Quaternion.hs	2012-02-26 17:37:18.000000000 +0000
@@ -26,7 +26,6 @@
 import Data.Functor.Representable.Trie
 import Data.Foldable
 import Data.Traversable
-import Data.Monoid
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
 import Data.Semigroup
@@ -55,7 +54,7 @@
 
 instance Rig r => Hamiltonian (Quaternion' r) where
   j = Quaternion' zero zero one zero
-  k = Quaternion' one zero zero one 
+  k = Quaternion' one zero zero one
 
 instance Rig r => Distinguished (QuaternionBasis' :->: r) where
   e = Trie e
@@ -68,13 +67,13 @@
   k = Trie k
 
 instance Rig r => Distinguished (QuaternionBasis' -> r) where
-  e E' = one 
+  e E' = one
   e _ = zero
 
 instance Rig r => Complicated (QuaternionBasis' -> r) where
   i I' = one
   i _ = zero
-  
+
 instance Rig r => Hamiltonian (QuaternionBasis' -> r) where
   j J' = one
   j _ = zero
@@ -108,17 +107,17 @@
   adjust f K' (Quaternion' a b c d) = Quaternion' a b c (f d)
 
 instance Distributive Quaternion' where
-  distribute = distributeRep 
+  distribute = distributeRep
 
 instance Functor Quaternion' where
   fmap = fmapRep
 
 instance Zip Quaternion' where
-  zipWith f (Quaternion' a1 b1 c1 d1) (Quaternion' a2 b2 c2 d2) = 
+  zipWith f (Quaternion' a1 b1 c1 d1) (Quaternion' a2 b2 c2 d2) =
     Quaternion' (f a1 a2) (f b1 b2) (f c1 c2) (f d1 d2)
 
 instance ZipWithKey Quaternion' where
-  zipWithKey f (Quaternion' a1 b1 c1 d1) (Quaternion' a2 b2 c2 d2) = 
+  zipWithKey f (Quaternion' a1 b1 c1 d1) (Quaternion' a2 b2 c2 d2) =
     Quaternion' (f E' a1 a2) (f I' b1 b2) (f J' c1 c2) (f K' d1 d2)
 
 instance Keyed Quaternion' where
@@ -129,7 +128,7 @@
 
 instance Applicative Quaternion' where
   pure = pureRep
-  (<*>) = apRep 
+  (<*>) = apRep
 
 instance Bind Quaternion' where
   (>>-) = bindRep
@@ -143,35 +142,35 @@
   local = localRep
 
 instance Foldable Quaternion' where
-  foldMap f (Quaternion' a b c d) = 
+  foldMap f (Quaternion' a b c d) =
     f a `mappend` f b `mappend` f c `mappend` f d
 
 instance FoldableWithKey Quaternion' where
-  foldMapWithKey f (Quaternion' a b c d) = 
+  foldMapWithKey f (Quaternion' a b c d) =
     f E' a `mappend` f I' b `mappend` f J' c `mappend` f K' d
 
 instance Traversable Quaternion' where
-  traverse f (Quaternion' a b c d) = 
+  traverse f (Quaternion' a b c d) =
     Quaternion' <$> f a <*> f b <*> f c <*> f d
 
 instance TraversableWithKey Quaternion' where
-  traverseWithKey f (Quaternion' a b c d) = 
+  traverseWithKey f (Quaternion' a b c d) =
     Quaternion' <$> f E' a <*> f I' b <*> f J' c <*> f K' d
 
 instance Foldable1 Quaternion' where
-  foldMap1 f (Quaternion' a b c d) = 
+  foldMap1 f (Quaternion' a b c d) =
     f a <> f b <> f c <> f d
 
 instance FoldableWithKey1 Quaternion' where
-  foldMapWithKey1 f (Quaternion' a b c d) = 
+  foldMapWithKey1 f (Quaternion' a b c d) =
     f E' a <> f I' b <> f J' c <> f K' d
 
 instance Traversable1 Quaternion' where
-  traverse1 f (Quaternion' a b c d) = 
+  traverse1 f (Quaternion' a b c d) =
     Quaternion' <$> f a <.> f b <.> f c <.> f d
 
 instance TraversableWithKey1 Quaternion' where
-  traverseWithKey1 f (Quaternion' a b c d) = 
+  traverseWithKey1 f (Quaternion' a b c d) =
     Quaternion' <$> f E' a <.> f I' b <.> f J' c <.> f K' d
 
 instance HasTrie QuaternionBasis' where
@@ -180,7 +179,7 @@
   projectKey = id
 
 instance Additive r => Additive (Quaternion' r) where
-  (+) = addRep 
+  (+) = addRep
   sinnum1p = sinnum1pRep
 
 instance LeftModule r s => LeftModule r (Quaternion' s) where
@@ -207,10 +206,10 @@
 
 instance Partitionable r => Partitionable (Quaternion' r) where
   partitionWith f (Quaternion' a b c d) = id =<<
-    partitionWith (\a1 a2 -> id =<< 
-    partitionWith (\b1 b2 -> id =<< 
-    partitionWith (\c1 c2 -> 
-    partitionWith (\d1 d2 -> f (Quaternion' a1 b1 c1 d1) 
+    partitionWith (\a1 a2 -> id =<<
+    partitionWith (\b1 b2 -> id =<<
+    partitionWith (\c1 c2 ->
+    partitionWith (\d1 d2 -> f (Quaternion' a1 b1 c1 d1)
                                (Quaternion' a2 b2 c2 d2)
                   ) d) c) b) a
 
@@ -225,7 +224,7 @@
     f' I' = fi
     f' J' = fj
     f' K' = fk
-             
+
 instance (TriviallyInvolutive r, Semiring r) => UnitalAlgebra r QuaternionBasis' where
   unit = const
 
@@ -261,7 +260,7 @@
 instance (TriviallyInvolutive r, Rng r) => CounitalCoalgebra r QuaternionBasis' where
   counit f = f E'
 
-instance (TriviallyInvolutive r, Rng r)  => Bialgebra r QuaternionBasis' 
+instance (TriviallyInvolutive r, Rng r)  => Bialgebra r QuaternionBasis'
 
 instance (TriviallyInvolutive r, InvolutiveSemiring r, Rng r)  => InvolutiveAlgebra r QuaternionBasis' where
   inv f E' = f E'
@@ -287,13 +286,13 @@
 instance (TriviallyInvolutive r, Ring r) => Ring (Quaternion' r) where
   fromInteger n = Quaternion' (fromInteger n) zero zero zero
 
-instance ( TriviallyInvolutive r, Rng r) => LeftModule (Quaternion' r) (Quaternion' r) where 
+instance ( TriviallyInvolutive r, Rng r) => LeftModule (Quaternion' r) (Quaternion' r) where
   (.*) = (*)
-instance (TriviallyInvolutive r, Rng r) => RightModule (Quaternion' r) (Quaternion' r) where 
+instance (TriviallyInvolutive r, Rng r) => RightModule (Quaternion' r) (Quaternion' r) where
   (*.) = (*)
 
 instance (TriviallyInvolutive r, Rng r) => InvolutiveMultiplication (Quaternion' r) where
-  -- without trivial involution, multiplication fails associativity, and we'd need to 
+  -- without trivial involution, multiplication fails associativity, and we'd need to
   -- support weaker multiplicative properties like Alternative and PowerAssociative
   adjoint (Quaternion' a b c d) = Quaternion' a (negate b) (negate c) (negate d)
 
diff -Nru haskell-algebra-2.0.4/Numeric/Coalgebra/Trigonometric.hs haskell-algebra-2.0.7/Numeric/Coalgebra/Trigonometric.hs
--- haskell-algebra-2.0.4/Numeric/Coalgebra/Trigonometric.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Coalgebra/Trigonometric.hs	2012-02-26 17:37:18.000000000 +0000
@@ -20,7 +20,6 @@
 import Data.Foldable
 import Data.Ix
 import Data.Key
-import Data.Monoid
 import Data.Semigroup.Traversable
 import Data.Semigroup.Foldable
 import Data.Semigroup
diff -Nru haskell-algebra-2.0.4/Numeric/Covector.hs haskell-algebra-2.0.7/Numeric/Covector.hs
--- haskell-algebra-2.0.4/Numeric/Covector.hs	2011-11-07 19:03:26.000000000 +0000
+++ haskell-algebra-2.0.7/Numeric/Covector.hs	2012-02-26 17:37:18.000000000 +0000
@@ -1,6 +1,7 @@
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
-module Numeric.Covector 
+module Numeric.Covector
   ( Covector(..)
+  , ($*)
   -- * Covectors as linear functionals
   , counitM
   , unitM