diff --git a/TypeLevel/Number/Nat.hs b/TypeLevel/Number/Nat.hs
--- a/TypeLevel/Number/Nat.hs
+++ b/TypeLevel/Number/Nat.hs
@@ -6,6 +6,7 @@
 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE TemplateHaskell       #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE TypeOperators         #-}
 -- |
 -- Module      : TypeLevel.Number.Nat
 -- Copyright   : Alexey Khudyakov
@@ -57,9 +58,6 @@
 import Data.Word (Word8,Word16,Word32,Word64)
 import Data.Int  (Int8, Int16, Int32, Int64 )
 
-
-import Language.Haskell.TH
-
 import TypeLevel.Number.Classes
 import TypeLevel.Number.Nat.Types
 import TypeLevel.Number.Nat.TH
@@ -86,10 +84,10 @@
 
 instance              Nat       Z   where toInt _ = 0
 instance              Nat    (I Z)  where toInt _ = 1
-instance Nat (O n) => Nat (O (O n)) where toInt n = 0 + 2 * toInt (undefined :: (O n))
-instance Nat (O n) => Nat (I (O n)) where toInt n = 1 + 2 * toInt (undefined :: (O n))
-instance Nat (I n) => Nat (O (I n)) where toInt n = 0 + 2 * toInt (undefined :: (I n))
-instance Nat (I n) => Nat (I (I n)) where toInt n = 1 + 2 * toInt (undefined :: (I n))
+instance Nat (O n) => Nat (O (O n)) where toInt _ = 0 + 2 * toInt (undefined :: (O n))
+instance Nat (O n) => Nat (I (O n)) where toInt _ = 1 + 2 * toInt (undefined :: (O n))
+instance Nat (I n) => Nat (O (I n)) where toInt _ = 0 + 2 * toInt (undefined :: (I n))
+instance Nat (I n) => Nat (I (I n)) where toInt _ = 1 + 2 * toInt (undefined :: (I n))
 -- Error reporting. Stop for denormalized numbers
 class    Number_Is_Denormalized a
 instance (Number_Is_Denormalized Z) => Nat (O Z) where
diff --git a/type-level-numbers.cabal b/type-level-numbers.cabal
--- a/type-level-numbers.cabal
+++ b/type-level-numbers.cabal
@@ -1,13 +1,5 @@
 Name:           type-level-numbers
-Version:        0.1.0.2
-Cabal-Version:  >= 1.6
-License:        BSD3
-License-File:   LICENSE
-Author:         Alexey Khudyakov <alexey.skladnoy@gmail.com>
-Maintainer:     Alexey Khudyakov <alexey.skladnoy@gmail.com>
-Homepage:       
-Category:       Type System
-Build-Type:     Simple
+Version:        0.1.0.3
 Synopsis:       
   Type level numbers implemented using type families.
 Description:
@@ -30,19 +22,38 @@
   So far comparison of numbers, subtraction and multiplication of
   numbers are supported.
   .
-  Changes in 0.1.0.1:
+  Changes in 0.1.0.3
   .
-  * Workaround for GHC bug #4364 (Build failure on GHC7.0)
+  * Fix build for GHC 7.4
   .
   Changes in 0.1.0.2:
   .
   * Fix URL in cabal file
+  .
+  Changes in 0.1.0.1:
+  .
+  * Workaround for GHC bug #4364 (Build failure on GHC 7.0)
 
+Cabal-Version:  >= 1.6
+License:        BSD3
+License-File:   LICENSE
+Bug-reports:    https://github.com/bos/statistics/issues
+Author:         Alexey Khudyakov <alexey.skladnoy@gmail.com>
+Maintainer:     Alexey Khudyakov <alexey.skladnoy@gmail.com>
+Homepage:       
+Category:       Type System
+Build-Type:     Simple
+
 source-repository head
   type:     hg
   location: http://bitbucket.org/Shimuuar/type-level-numbers
+source-repository head
+  type:     git
+  location: https://github.com/Shimuuar/type-level-numbers
 
+
 Library
+  ghc-options:     -Wall -fno-warn-orphans
   Build-Depends:   base >=3 && <5,
                    template-haskell > 2.0
   Exposed-modules: TypeLevel.Number.Classes