diff --git a/Numeric/AD/Internal/Composition.hs b/Numeric/AD/Internal/Composition.hs
--- a/Numeric/AD/Internal/Composition.hs
+++ b/Numeric/AD/Internal/Composition.hs
@@ -45,9 +45,6 @@
               ga :: t (f :: * -> *) g a -> g a
               ga = undefined
 
-instance (Typeable1 f, Typeable1 g, Typeable a) => Typeable (ComposeFunctor f g a) where
-    typeOf = typeOfDefault
-    
 composeFunctorTyCon :: TyCon
 composeFunctorTyCon = mkTyCon "Numeric.AD.Internal.Composition.ComposeFunctor"
 {-# NOINLINE composeFunctorTyCon #-}
diff --git a/Numeric/AD/Internal/Stream.hs b/Numeric/AD/Internal/Stream.hs
--- a/Numeric/AD/Internal/Stream.hs
+++ b/Numeric/AD/Internal/Stream.hs
@@ -23,7 +23,7 @@
 import Data.Foldable
 import Data.Traversable
 import Data.Data (Data(..), mkDataType, DataType, mkConstr, Constr, constrIndex, Fixity(Infix))
-import Data.Typeable (Typeable1(..), Typeable(..), TyCon, mkTyCon, mkTyConApp, typeOfDefault, gcast1)
+import Data.Typeable (Typeable1(..), Typeable(..), TyCon, mkTyCon, mkTyConApp, gcast1)
 import Numeric.AD.Internal.Comonad
 
 infixl 3 :<
@@ -70,9 +70,6 @@
         where asArgsType :: f a -> t f a -> f a
               asArgsType = const
 
-instance (Typeable1 f, Typeable a) => Typeable (Stream f a) where
-    typeOf = typeOfDefault
-    
 streamTyCon :: TyCon
 streamTyCon = mkTyCon "Numeric.AD.Internal.Stream.Stream"
 {-# NOINLINE streamTyCon #-}
diff --git a/Numeric/AD/Internal/Tensors.hs b/Numeric/AD/Internal/Tensors.hs
--- a/Numeric/AD/Internal/Tensors.hs
+++ b/Numeric/AD/Internal/Tensors.hs
@@ -22,7 +22,7 @@
 import Data.Foldable
 import Data.Traversable
 import Data.Monoid
-import Data.Typeable (Typeable1(..), Typeable(..), TyCon, mkTyCon, mkTyConApp, typeOfDefault)
+import Data.Typeable (Typeable1(..), Typeable(..), TyCon, mkTyCon, mkTyConApp)
 import Numeric.AD.Internal.Comonad
 import Numeric.AD.Internal.Stream
 
@@ -67,9 +67,6 @@
         where asArgsType :: f a -> t f a -> f a
               asArgsType = const
 
-instance (Typeable1 f, Typeable a) => Typeable (Tensors f a) where
-    typeOf = typeOfDefault
-    
 tensorsTyCon :: TyCon
 tensorsTyCon = mkTyCon "Numeric.AD.Internal.Tensors.Tensors"
 {-# NOINLINE tensorsTyCon #-}
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
@@ -47,9 +47,6 @@
         where asArgsType :: f a -> t f a -> f a
               asArgsType = const
 
-instance (Typeable1 f, Typeable a) => Typeable (AD f a) where
-    typeOf = typeOfDefault
-    
 adTyCon :: TyCon
 adTyCon = mkTyCon "Numeric.AD.Internal.Types.AD"
 {-# NOINLINE adTyCon #-}
diff --git a/ad.cabal b/ad.cabal
--- a/ad.cabal
+++ b/ad.cabal
@@ -1,5 +1,5 @@
 name:         ad
-version:      0.44.1
+version:      0.44.2
 license:      BSD3
 license-File: LICENSE
 copyright:    (c) Edward Kmett 2010,