diff --git a/src/Data/TypeLevel/Bool.hs b/src/Data/TypeLevel/Bool.hs
--- a/src/Data/TypeLevel/Bool.hs
+++ b/src/Data/TypeLevel/Bool.hs
@@ -118,7 +118,7 @@
 -- | value-level reflection function for the 'And' type-level relation
 (&&) :: And b1 b2 b3 => b1 -> b2 -> b3
 (&&) = undefined
-
+infixr 3 &&
   
 -- | Or type-level relation. @Or b1 b2 b3@ establishes that
 --   @b1 || b2 = b3@
@@ -132,6 +132,7 @@
 -- | value-level reflection function for the 'Or' type-level relation
 (||) :: Or b1 b2 b3 => b1 -> b2 -> b3
 (||) = undefined
+infixr 2 ||
 
 -- | Exclusive or type-level relation. @Xor b1 b2 b3@ establishes that
 --   @xor b1 b2 = b3@
@@ -144,7 +145,7 @@
 -- | value-level reflection function for the 'Xor' type-level relation
 xor :: Xor b1 b2 b3 => b1 -> b2 -> b3
 xor = undefined
-
+infixl 6 `xor` -- infix declaration from Data.Bits
 
 -- | Implication type-level relation. @Imp b1 b2 b3@ establishes that
 -- @b1 =>b2 = b3@
diff --git a/src/Data/TypeLevel/Num/Ops.hs b/src/Data/TypeLevel/Num/Ops.hs
--- a/src/Data/TypeLevel/Num/Ops.hs
+++ b/src/Data/TypeLevel/Num/Ops.hs
@@ -191,6 +191,7 @@
 -- | value-level reflection function for the 'Sub' type-level relation 
 (-) :: (Sub x y z) => x -> y -> z
 (-) = undefined
+infixl 6 +, -
 
 ------------------------------
 -- Multiplication and Division
@@ -234,7 +235,7 @@
 -- | value-level reflection function for the multiplication type-level relation 
 (*) :: Mul x y z => x -> y -> z
 (*) = undefined
-
+infixl 7 *
 
 -----------
 -- Division
@@ -276,6 +277,7 @@
 -- | value-level reflection function for the 'Mod' type-level relation 
 mod :: Mod x y r => x -> y -> r
 mod = undefined
+infixl 7 `div`, `mod`
 
 
 ----------------------------------------
@@ -376,7 +378,7 @@
 -- | value-level reflection function for the ExpBase type-level relation
 (^) :: ExpBase b e r => b -> e -> r
 (^) = undefined
-
+infixr 8 ^
 
 -- Logarithm type-level relation. @LogBase b x e@ establishes that 
 -- @log_base_b x = e@
@@ -699,7 +701,7 @@
 --   type-level assertion 
 (<=) :: (x :<=: y) => x -> y -> ()
 (<=) = undefined
-
+infix 4 <,<=,>=,>,==
 ------------------
 -- Maximum/Minimum
 ------------------
diff --git a/type-level.cabal b/type-level.cabal
--- a/type-level.cabal
+++ b/type-level.cabal
@@ -1,5 +1,5 @@
 name:           type-level
-version:        0.2
+version:        0.2.1
 cabal-version:  >= 1.2
 build-type:     Simple
 license:        BSD3
@@ -38,7 +38,7 @@
 
 -- depends on ghc due to the use of infix type constructors and template haskell
 Library
-  build-depends:   base, ghc, template-haskell > 2.0
+  build-depends:   base, template-haskell > 2.0
   hs-source-dirs:  src
   exposed-modules: Data.TypeLevel,
                    Data.TypeLevel.Bool,