diff --git a/Numeric/AD/Internal/Classes.hs b/Numeric/AD/Internal/Classes.hs
--- a/Numeric/AD/Internal/Classes.hs
+++ b/Numeric/AD/Internal/Classes.hs
@@ -199,8 +199,8 @@
         abs1          = lift1 abs signum1
         signum1       = lift1 signum (const zero)
         fromRational1 = lift . fromRational
-        (/!)          = lift2 (/) $ \x y -> (recip1 y, x *! negate1 (square1 y))
-        recip1        = lift1 recip (negate1 . square1)
+        (/!)          = lift2_ (/) $ \a x y -> (recip1 y, x *! negate1 (square1 a))
+        recip1        = lift1_ recip (const . negate1 . square1)
 
         pi1       = lift pi
         exp1      = lift1_ exp const
diff --git a/Numeric/AD/Internal/Types.hs b/Numeric/AD/Internal/Types.hs
--- a/Numeric/AD/Internal/Types.hs
+++ b/Numeric/AD/Internal/Types.hs
@@ -16,7 +16,7 @@
     ) where
 
 import Data.Data (Data(..), mkDataType, DataType, mkConstr, Constr, constrIndex, Fixity(..))
-import Data.Typeable (Typeable1(..), Typeable(..), TyCon, mkTyCon, mkTyConApp, typeOfDefault, gcast1)
+import Data.Typeable (Typeable1(..), Typeable(..), TyCon, mkTyCon, mkTyConApp, gcast1)
 import Language.Haskell.TH
 import Numeric.AD.Internal.Classes
 
diff --git a/ad.cabal b/ad.cabal
--- a/ad.cabal
+++ b/ad.cabal
@@ -1,5 +1,5 @@
 name:         ad
-version:      0.44.2
+version:      0.44.3
 license:      BSD3
 license-File: LICENSE
 copyright:    (c) Edward Kmett 2010,
@@ -58,7 +58,7 @@
     .
     Changes since 0.40.0
     .
-    * Bug fix in the derivative calculated for @'(/)' :: (Mode s, Fractional a) => AD s a@
+    * Fixed bug fix for @'(/)' :: (Mode s, Fractional a) => AD s a@
     .
     * Improved documentation
     .