diff --git a/Data/Functor/Bind.hs b/Data/Functor/Bind.hs
--- a/Data/Functor/Bind.hs
+++ b/Data/Functor/Bind.hs
@@ -54,8 +54,6 @@
 import qualified Control.Monad.Trans.RWS.Strict as Strict
 import qualified Control.Monad.Trans.State.Strict as Strict
 import qualified Control.Monad.Trans.Writer.Strict as Strict
-import Data.Functor
-import Data.Functor.Extend
 import Data.Functor.Compose
 import Data.Functor.Identity
 import Data.Functor.Product
diff --git a/Data/Semigroup/Foldable.hs b/Data/Semigroup/Foldable.hs
--- a/Data/Semigroup/Foldable.hs
+++ b/Data/Semigroup/Foldable.hs
@@ -26,7 +26,6 @@
 import Data.Tree
 import Data.List.NonEmpty (NonEmpty(..))
 import Data.Semigroup hiding (Product)
-import Data.Traversable.Instances ()
 import Prelude hiding (foldr)
 
 class Foldable t => Foldable1 t where
diff --git a/Data/Semigroup/Traversable.hs b/Data/Semigroup/Traversable.hs
--- a/Data/Semigroup/Traversable.hs
+++ b/Data/Semigroup/Traversable.hs
@@ -25,7 +25,6 @@
 import Data.Tree
 import Data.List.NonEmpty (NonEmpty(..))
 import Data.Semigroup hiding (Product)
-import Data.Traversable.Instances ()
 
 class (Foldable1 t, Traversable t) => Traversable1 t where
   traverse1 :: Apply f => (a -> f b) -> t a -> f (t b)
diff --git a/Data/Traversable/Instances.hs b/Data/Traversable/Instances.hs
deleted file mode 100644
--- a/Data/Traversable/Instances.hs
+++ /dev/null
@@ -1,13 +0,0 @@
--- | Placeholders for missing instances of Traversable, until base catches up and adds them
-{-# OPTIONS_GHC -fno-warn-orphans #-}
-module Data.Traversable.Instances where
-
-import Control.Monad.Trans.Identity
-import Data.Foldable
-import Data.Traversable
-
-instance Foldable m => Foldable (IdentityT m) where
-  foldMap f = foldMap f . runIdentityT
-
-instance Traversable m => Traversable (IdentityT m) where
-  traverse f = fmap IdentityT . traverse f . runIdentityT
diff --git a/semigroupoids.cabal b/semigroupoids.cabal
--- a/semigroupoids.cabal
+++ b/semigroupoids.cabal
@@ -1,6 +1,6 @@
 name:          semigroupoids
 category:      Control, Comonads
-version:       1.2.6.2
+version:       1.3
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -48,13 +48,13 @@
   location: git://github.com/ekmett/semigroupoids.git
 
 library
-  build-depends: 
-    base          >= 4 && < 5,
-    transformers  >= 0.2 && < 0.4,
-    containers    >= 0.3 && < 0.5,
-    contravariant >= 0.1.2 && < 0.2,
-    comonad       >= 1.1.1.1 && < 1.2,
-    semigroups    >= 0.8 && < 0.9
+  build-depends:
+    base          >= 4       && < 5,
+    transformers  >= 0.3     && < 0.4,
+    containers    >= 0.3     && < 0.5,
+    contravariant >= 0.2.0.1 && < 0.3,
+    comonad       >= 1.1.1.2 && < 1.2,
+    semigroups    >= 0.8.2   && < 0.9
 
   exposed-modules:
     Data.Functor.Alt,
@@ -67,6 +67,5 @@
     Data.Semigroupoid
     Data.Semigroupoid.Dual
     Data.Semigroupoid.Static
-    Data.Traversable.Instances
 
   ghc-options: -Wall