diff --git a/generics-sop.cabal b/generics-sop.cabal
--- a/generics-sop.cabal
+++ b/generics-sop.cabal
@@ -1,10 +1,10 @@
 name:                generics-sop
-version:             0.1.0.2
+version:             0.1.0.3
 synopsis:            Generic Programming using True Sums of Products
 description:
   A library to support the definition of generic functions.
-  Datatypes are viewed in a uniform, structured way: the choice
-  way: the choice between constructors is represented using an n-ary
+  Datatypes are viewed in a uniform, structured way:
+  the choice between constructors is represented using an n-ary
   sum, and the arguments of each constructor are represented using
   an n-ary product.
   .
@@ -58,8 +58,10 @@
                        Generics.SOP.Sing
   build-depends:       base                 >= 4.6  && < 5,
                        template-haskell     >= 2.8  && < 2.10,
-                       tagged               >= 0.7  && < 0.8,
                        ghc-prim             >= 0.3  && < 0.4
+  if impl (ghc < 7.8)
+    build-depends:     tagged               >= 0.7  && < 0.8
+
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall
diff --git a/src/Generics/SOP.hs b/src/Generics/SOP.hs
--- a/src/Generics/SOP.hs
+++ b/src/Generics/SOP.hs
@@ -296,7 +296,9 @@
   , shape
   , lengthSing
     -- ** Re-exports
-  , Proxy(..)
+#if !(defined(__HADDOCK_VERSION__)) || MIN_TOOL_VERSION_haddock(2,14,0)
+  , Proxy(..) -- hidden from old Haddock versions, because it triggers an internal error
+#endif
   ) where
 
 import Data.Proxy (Proxy(..))
diff --git a/src/Generics/SOP/GGP.hs b/src/Generics/SOP/GGP.hs
--- a/src/Generics/SOP/GGP.hs
+++ b/src/Generics/SOP/GGP.hs
@@ -1,5 +1,12 @@
 {-# LANGUAGE UndecidableInstances #-}
 -- | Derive @generics-sop@ boilerplate instances from GHC's 'GHC.Generic'.
+--
+-- The technique being used here is described in the following paper:
+--
+--   * José Pedro Magalhães and Andres Löh.
+--     <http://www.andres-loeh.de/GenericGenericProgramming Generic Generic Programming>.
+--     Practical Aspects of Declarative Languages (PADL) 2014.
+--
 module Generics.SOP.GGP
   ( GCode
   , GFrom