diff --git a/src/TypeUnary/Vec.hs b/src/TypeUnary/Vec.hs
--- a/src/TypeUnary/Vec.hs
+++ b/src/TypeUnary/Vec.hs
@@ -51,8 +51,6 @@
 import Foreign.Storable
 import Foreign.Ptr (Ptr,plusPtr,castPtr)
 
-import Control.Compose (result)
-
 import Data.VectorSpace
 
 import Data.Proof.EQ
@@ -496,3 +494,10 @@
 --                TypeUnary.Vec.take :: IsNat n => Vec (n :+: m) a -> Vec n a
 --     at /Users/conal/Haskell/type-unary/src/TypeUnary/Vec.hs:488:1-18
 --   NB: `:+:' is a type function, and may not be injective
+
+{--------------------------------------------------------------------
+    Misc
+--------------------------------------------------------------------}
+
+result :: (b -> b') -> ((a -> b) -> (a -> b'))
+result = (.)
diff --git a/type-unary.cabal b/type-unary.cabal
--- a/type-unary.cabal
+++ b/type-unary.cabal
@@ -1,7 +1,8 @@
 Name:                type-unary
-Version:             0.1.0
+Version:             0.1.1
 Cabal-Version:       >= 1.2
-Synopsis:            Type-level and typed unary natural numbers, vectors, inequality proofs
+Synopsis:            
+  Type-level and typed unary natural numbers, vectors, inequality proofs
 Category:            Data
 Description:
   Type-level and value-typed unary natural numbers, plus length-typed
@@ -19,8 +20,7 @@
 Library
   hs-Source-Dirs:      src
   Extensions:
-  Build-Depends:       base >=4 && < 5, functor-combo, TypeCompose
-                     , ty, vector-space
+  Build-Depends:       base >=4 && < 5, ty, vector-space
   Exposed-Modules:     TypeUnary.Vec
                        
   ghc-options:         -Wall