diff --git a/Control/Monad/Imperative/Operators.hs b/Control/Monad/Imperative/Operators.hs
--- a/Control/Monad/Imperative/Operators.hs
+++ b/Control/Monad/Imperative/Operators.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE
- NoMonomorphismRestriction,
  TemplateHaskell
  #-}
 -----------------------------------------------------------------------------
@@ -7,7 +6,7 @@
 -- Module      :  Control.Monad.Imperative.Operators
 -- Maintainer  :  Matthew Mirman <mmirman@andrew.cmu.edu>
 -- Stability   :  experimental
--- Portability :  NoMonomorphismRestriction, TemplateHaskell 
+-- Portability :  TemplateHaskell 
 -- Some predefined operators for the imperative monad.
 -- 
 -----------------------------------------------------------------------------
@@ -16,17 +15,17 @@
 import Control.Monad.Imperative.Internals
 import Control.Monad.Imperative.FunctionFactory
 
-(+=:) = modifyOp (+)
-(*=:) = modifyOp (*)
-(-=:) = modifyOp (-)
-(%=:) = modifyOp (mod)
+(+=:) a b = modifyOp (+) a b
+(*=:) a b = modifyOp (*) a b
+(-=:) a b = modifyOp (-) a b
+(%=:) a b = modifyOp mod a b
 
-(<.) = liftOp2 (<)
-(>.) = liftOp2 (>)
-(+.) = liftOp2 (+)
-(*.) = liftOp2 (*)
-(%.) = liftOp2 mod
-(/.) = liftOp2 (/)
+(<.) a b = liftOp2 (<) a b
+(>.) a b = liftOp2 (>) a b
+(+.) a b = liftOp2 (+) a b
+(*.) a b = liftOp2 (*) a b
+(%.) a b = liftOp2 mod a b
+(/.) a b = liftOp2 (/) a b 
 
 -- | @'liftOp2' f@ turns a pure function into one which
 -- gets executes its arguments and returns their value as a 
diff --git a/ImperativeHaskell.cabal b/ImperativeHaskell.cabal
--- a/ImperativeHaskell.cabal
+++ b/ImperativeHaskell.cabal
@@ -1,5 +1,5 @@
 Name:                ImperativeHaskell
-Version:             1.0.0.0
+Version:             1.0.0.1
 Description:         A monad that uses GADTs and continuations
                      to replicate what it is like to program
                      in an imperative language like C or Java
@@ -31,11 +31,11 @@
   
   Build-depends:       base >= 4.0 && < 5.0, 
                        mtl >= 2.0 && < 3.0,
-                       template-haskell >= 2.6 && < 3
+                       template-haskell >= 2.6 && < 3.0
   Exposed-modules:    Control.Monad.Imperative,
                       Control.Monad.Imperative.Internals,
                       Control.Monad.Imperative.Operators,
                       Control.Monad.Imperative.FunctionFactory
   
-  Extensions: GADTs, EmptyDataDecls, NoMonomorphismRestriction,  GeneralizedNewtypeDeriving,  MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, TemplateHaskell
+  Extensions: GADTs, EmptyDataDecls, GeneralizedNewtypeDeriving, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, TemplateHaskell