diff --git a/examples/Examples.hs b/examples/Examples.hs
--- a/examples/Examples.hs
+++ b/examples/Examples.hs
@@ -463,7 +463,39 @@
     t :: Rep1Weird a -> (a -> b) -> Weird a -> Weird b
     t = gmapdefault
 
+--------------------------------------------------------------------------------
+-- Example: Nested datatype Bush (minimal)
+--------------------------------------------------------------------------------
 
+data Bush a = BushNil | BushCons a (Bush (Bush a))
+
+
+$(deriveAll ''Bush)
+
+type Rep1Bush = U1 :+: Par1 :*: Bush :.: Rec1 Bush
+instance Representable1 Bush Rep1Bush where
+  from1 BushNil = L1 U1
+  from1 (BushCons a b) = R1 (Par1 a :*: Comp1 (gmap Rec1 b))
+  to1 (L1 U1) = BushNil
+  to1 (R1 (Par1 a :*: Comp1 b)) = BushCons a (gmap unRec1 b)
+
+instance GFunctor Bush where
+  gmap = t undefined where
+    t :: Rep1Bush a -> (a -> b) -> Bush a -> Bush b
+    t = gmapdefault
+
+instance (GShow a) => GShow (Bush a) where
+  gshowsPrec = t undefined where
+    t :: (GShow a) => Rep0Bush_ a x -> Int -> Bush a -> ShowS
+    t = gshowsPrecdefault
+
+-- Example usage
+bush1 :: Bush Int
+bush1 = BushCons 0 (BushCons (BushCons 1 BushNil) BushNil)
+
+testsBush = [ gshow bush1
+            , gshow (gmap gshow bush1) ]
+
 --------------------------------------------------------------------------------
 -- Example: Two parameters, datatype constraint, nested on other parameter
 --------------------------------------------------------------------------------
@@ -531,3 +563,5 @@
         mapM_ p testsEither
         putStrLn "\nTests for Nested:"
         mapM_ p testsNested
+        putStrLn "\nTests for Bush:"
+        mapM_ p testsBush
diff --git a/generic-deriving.cabal b/generic-deriving.cabal
--- a/generic-deriving.cabal
+++ b/generic-deriving.cabal
@@ -1,5 +1,5 @@
 name:                   generic-deriving
-version:                0.3
+version:                0.3.1
 synopsis:               Generic programming library for generalized deriving.
 description:
 
@@ -19,7 +19,7 @@
 stability:              experimental
 build-type:             Custom
 cabal-version:          >= 1.2.1
-tested-with:            GHC == 6.10.4
+tested-with:            GHC == 6.10.4, GHC == 6.12.1, GHC == 7.0.1
 extra-source-files:     examples/Examples.hs
 
 library
@@ -37,6 +37,6 @@
                         Generics.Deriving.Uniplate
                         Generics.Deriving.TH
                         
-  build-depends:        base <= 4.2.0.0, template-haskell >=2.4 && <2.5
+  build-depends:        base < 4.4, template-haskell >=2.4 && <2.6
   extensions:           MultiParamTypeClasses, CPP
   ghc-options:          -Wall