diff --git a/Data/HList/HZip.hs b/Data/HList/HZip.hs
--- a/Data/HList/HZip.hs
+++ b/Data/HList/HZip.hs
@@ -1,9 +1,5 @@
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}
 
-module Data.HList.HZip where
-
-import Data.HList.HListPrelude
-
 {- |
    The HList library
 
@@ -11,6 +7,11 @@
 
    Zipping and unzipping for (conceptually) lists of pairs.
  -}
+
+module Data.HList.HZip where
+
+import Data.HList.HListPrelude
+
 
 {-----------------------------------------------------------------------------}
 
diff --git a/Data/HList/MakeLabels.hs b/Data/HList/MakeLabels.hs
--- a/Data/HList/MakeLabels.hs
+++ b/Data/HList/MakeLabels.hs
@@ -1,7 +1,8 @@
+{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE TemplateHaskell, FlexibleInstances, EmptyDataDecls #-}
 
 
-{- | Making labels
+{- | Making labels in the style of "Data.HList.Label4"
 
  The following TH splice
 
@@ -25,6 +26,8 @@
 import Data.Char (toUpper, toLower)
 import Control.Monad (liftM)
 
+import Data.Typeable (Typeable)
+
 capitalize, uncapitalize :: String -> String
 capitalize   (c:rest) = toUpper c : rest
 uncapitalize (c:rest) = toLower c : rest
@@ -40,7 +43,7 @@
 
 -- The template of our declaration. We will then replace all occurences
 -- of Foo with the desired name
-dcl_template = [d| data Foo; foo = proxy::Proxy Foo |]
+dcl_template = [d| data Foo deriving Typeable; foo = proxy::Proxy Foo |]
 
 -- A very dirty traversal/replacement...
 
diff --git a/HList.cabal b/HList.cabal
--- a/HList.cabal
+++ b/HList.cabal
@@ -1,5 +1,5 @@
 Name:                HList
-Version:             0.2.2
+Version:             0.2.3
 Category:            Data
 Synopsis:            Heterogeneous lists
 Description:         HList is a record system providing strongly typed heterogenous lists, records,
@@ -12,7 +12,7 @@
 
 Data-files:          README
 Cabal-version:       >= 1.4
-Tested-With:         GHC==6.8.2
+Tested-With:         GHC==6.12.1
 Build-Depends:       base >= 3 && < 5, template-haskell
 Build-Type:          Simple
 Exposed-modules:     Data.HList, Data.HList.CommonMain, Data.HList.Variant, Data.HList.GhcSyntax,