diff --git a/src/TypeUnary/Nat.hs b/src/TypeUnary/Nat.hs
--- a/src/TypeUnary/Nat.hs
+++ b/src/TypeUnary/Nat.hs
@@ -139,9 +139,8 @@
     IsNat
 --------------------------------------------------------------------}
 
--- | @n@ a vector length.
-class {- Typeable n => -} IsNat n where
-  nat    :: Nat n
+-- | Is @n@ a natural number type?
+class IsNat n where nat :: Nat n
 
 instance            IsNat Z     where nat = Zero
 instance IsNat n => IsNat (S n) where nat = Succ nat
diff --git a/type-unary.cabal b/type-unary.cabal
--- a/type-unary.cabal
+++ b/type-unary.cabal
@@ -1,13 +1,13 @@
 Name:                type-unary
-Version:             0.1.10
+Version:             0.1.11
 Cabal-Version:       >= 1.2
 Synopsis:            
-  Type-level and typed unary natural numbers, vectors, inequality proofs
+  Type-level and typed unary natural numbers, inequality proofs, vectors
 Category:            Data
 Description:
-  Type-level and value-typed unary natural numbers, plus length-typed
-  vectors, inequality proofs. There are probably many of these
-  packages. Perhaps consolidate. This one is extracted from Shady.
+  Type-level and value-typed unary natural numbers, inequality proofs,
+  and length-typed vectors. There are probably many of these packages.
+  Perhaps consolidate. This one is extracted from Shady.
 Author:              Conal Elliott
 Maintainer:          conal@conal.net
 Homepage:            https://github.com/conal/type-unary
@@ -27,5 +27,3 @@
                        TypeUnary.Vec
                        
   ghc-options:         -Wall
-
---  ghc-prof-options:    -prof -auto-all