diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,9 @@
+0.8
+---
+* `reflection` 2 support
+* Fixed missing `duplicate` implementation in the `Comonad` instance.
+* Compile warning-free on GHC 7.10
+
 0.7.1
 -----
 * Support for `contravariant` 1.0
diff --git a/src/Data/Functor/Trans/Tagged.hs b/src/Data/Functor/Trans/Tagged.hs
--- a/src/Data/Functor/Trans/Tagged.hs
+++ b/src/Data/Functor/Trans/Tagged.hs
@@ -8,10 +8,10 @@
 #ifdef LANGUAGE_DeriveDataTypeable
 {-# LANGUAGE DeriveDataTypeable #-}
 #endif
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+#if __GLASGOW_HASKELL__ >= 706
 {-# LANGUAGE PolyKinds #-}
 #endif
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
+#if __GLASGOW_HASKELL__ >= 702 && __GLASGOW_HASKELL__ < 710
 {-# LANGUAGE Trustworthy #-}
 #endif
 ----------------------------------------------------------------------------
@@ -49,7 +49,11 @@
 #else
 import Prelude hiding (catch, foldr, foldl, mapM, sequence, foldr1, foldl1)
 #endif
+#if __GLASGOW_HASKELL__ < 710
 import Control.Applicative (Alternative(..), Applicative(..), (<$), (<$>))
+#else
+import Control.Applicative (Alternative(..))
+#endif
 import Control.Monad (liftM, MonadPlus(..))
 import Control.Monad.Catch (MonadCatch(..), MonadThrow(..), MonadMask(..))
 import Control.Monad.Fix (MonadFix(..))
@@ -294,6 +298,8 @@
 instance Comonad w => Comonad (TaggedT s w) where
   extract (TagT w) = extract w
   {-# INLINE extract #-}
+  duplicate (TagT w) = TagT (extend TagT w)
+  {-# INLINE duplicate #-}
 
 instance ComonadTrans (TaggedT s) where
   lower (TagT w) = w
diff --git a/tagged-transformer.cabal b/tagged-transformer.cabal
--- a/tagged-transformer.cabal
+++ b/tagged-transformer.cabal
@@ -1,5 +1,5 @@
 name:           tagged-transformer
-version:        0.7.1
+version:        0.8
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett
@@ -32,7 +32,7 @@
     distributive              >= 0.3      && < 1,
     exceptions                >= 0.6      && < 1,
     mtl                       >= 2.0.1    && < 2.3,
-    reflection                >= 1.1.6    && < 2,
+    reflection                >= 1.1.6    && < 3,
     semigroupoids             >= 4        && < 5,
     tagged                    >= 0.4.4    && < 1