diff --git a/src/TypeUnary/Nat.hs b/src/TypeUnary/Nat.hs
--- a/src/TypeUnary/Nat.hs
+++ b/src/TypeUnary/Nat.hs
@@ -39,9 +39,9 @@
 
 -- #include "Typeable.h"
 
-import Control.Applicative ((<$>))
+-- import Control.Applicative ((<$>))
 import Data.Maybe (isJust)
-import Data.Typeable (Typeable)
+-- import Data.Typeable (Typeable)
 
 import Data.Constraint (Dict(..))
 
@@ -307,7 +307,7 @@
 --------------------------------------------------------------------}
 
 -- | Is @n@ a natural number type?
-class Typeable n => IsNat n where nat :: Nat n
+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,5 +1,5 @@
 Name:                type-unary
-Version:             0.2.21
+Version:             0.3.0
 Cabal-Version:       >= 1.6
 Synopsis:            
   Type-level and typed unary natural numbers, inequality proofs, vectors