diff --git a/.travis.yml b/.travis.yml
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,11 +8,15 @@
   - travis/cabal-apt-install $mode
 
 install:
+  - cabal install packunused packdeps
   - cabal configure $mode
-  - cabal build
+  - cabal build --ghc-options=-ddump-minimal-imports
 
 script:
-  - $script && hlint src --cpp-define HLINT
+  - $script
+  - packdeps bound.cabal
+  - packunused
+  - hlint src --cpp-define HLINT
 
 notifications:
   irc:
diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,12 +1,14 @@
+1.0.3
+-----
+* Added `bitransverseScope`.
+
 1.0.2
 -----
 * Removed unneccesary constraint on `hoistScope`.
 
-
 1.0.1
 -----
 * Added a monomorphic `hoistScope` for `Bound.Scope.Simple`
-
 
 1.0
 ---
diff --git a/bound.cabal b/bound.cabal
--- a/bound.cabal
+++ b/bound.cabal
@@ -1,6 +1,6 @@
 name:          bound
 category:      Language, Compilers/Interpreters
-version:       1.0.2
+version:       1.0.3
 license:       BSD3
 cabal-version: >= 1.9.2
 license-file:  LICENSE
@@ -78,7 +78,8 @@
     transformers    >= 0.2     && < 0.4
 
   ghc-options: -Wall -O2 -fspec-constr -fdicts-cheap -funbox-strict-fields
-  if impl(ghc>=7.4)
+
+  if impl(ghc >=7.4 && < 7.6)
     build-depends: ghc-prim
 
 test-suite Simple
diff --git a/src/Bound/Scope.hs b/src/Bound/Scope.hs
--- a/src/Bound/Scope.hs
+++ b/src/Bound/Scope.hs
@@ -61,6 +61,7 @@
   , deserializeScope
   , hoistScope
   , bitraverseScope
+  , bitransverseScope
   , transverseScope
   , instantiateVars
   ) where
@@ -399,7 +400,7 @@
 
 -- | This allows you to 'bitraverse' a 'Scope'.
 bitraverseScope :: (Bitraversable t, Applicative f) => (k -> f k') -> (a -> f a') -> Scope b (t k) a -> f (Scope b (t k') a')
-bitraverseScope f g = fmap Scope . bitraverse f (traverse (bitraverse f g)) . unscope
+bitraverseScope f = bitransverseScope (bitraverse f)
 {-# INLINE bitraverseScope #-}
 
 -- | This is a higher-order analogue of 'traverse'.
@@ -407,6 +408,10 @@
                 => (forall r. g r -> f (h r))
                 -> Scope b g a -> f (Scope b h a)
 transverseScope tau (Scope e) = Scope <$> (tau =<< traverse (traverse tau) e)
+
+bitransverseScope :: Applicative f => (forall a a'. (a -> f a') -> t a -> f (u a')) -> (a -> f a') -> Scope b t a -> f (Scope b u a')
+bitransverseScope tau f = fmap Scope . tau (_F (tau f)) . unscope
+{-# INLINE bitransverseScope #-}
 
 -- | instantiate bound variables using a list of new variables
 instantiateVars :: Monad t => [a] -> Scope Int t a -> t a