diff --git a/src/TypeUnary/Vec.hs b/src/TypeUnary/Vec.hs
--- a/src/TypeUnary/Vec.hs
+++ b/src/TypeUnary/Vec.hs
@@ -151,7 +151,12 @@
 --   compare' :: (IsNat n, Ord a) => Vec n a -> Vec n a -> Ordering
 --   compare' = (fmap.fmap) fold (liftA2 compare)
 
+-- instance Show (Vec Z a) where
+--   show _ = "ZVec"
 
+-- instance Show a => Show (Vec (S n) a) where
+--   show v = "elemsV " ++ show (toList v)
+
 instance Show a => Show (Vec n a) where
   show v = "elemsV " ++ show (toList v)
 
@@ -168,6 +173,7 @@
 instance Functor (Vec n) where
   fmap _ ZVec     = ZVec
   fmap f (a :< u) = f a :< fmap f u
+  {-# INLINE fmap #-}
 
 instance IsNat n => Applicative (Vec n) where
   pure  = pureV
@@ -208,10 +214,12 @@
 instance Foldable (Vec n) where
   foldr _  b ZVec     = b
   foldr h b (a :< as) = a `h` foldr h b as
+  {-# INLINE foldr #-}
 
 instance Traversable (Vec n) where
   traverse _ ZVec      = pure ZVec
   traverse f (a :< as) = liftA2 (:<) (f a) (traverse f as)
+  {-# INLINE traverse #-}
 
 instance Newtype (Vec Z a) () where
   pack () = ZVec
@@ -250,7 +258,7 @@
 (<+>) :: Vec m a -> Vec n a -> Vec (m :+: n) a
 ZVec     <+> v = v
 (a :< u) <+> v = a :< (u <+> v)
-
+{-# INLINE (<+>) #-}
 
 peekV :: (IsNat n, Storable a) => Ptr a -> IO (Vec n a)
 peekV = peekV' nat
diff --git a/type-unary.cabal b/type-unary.cabal
--- a/type-unary.cabal
+++ b/type-unary.cabal
@@ -1,5 +1,5 @@
 Name:                type-unary
-Version:             0.2.15
+Version:             0.2.16
 Cabal-Version:       >= 1.6
 Synopsis:            
   Type-level and typed unary natural numbers, inequality proofs, vectors