diff --git a/TypeCompose.cabal b/TypeCompose.cabal
--- a/TypeCompose.cabal
+++ b/TypeCompose.cabal
@@ -1,5 +1,5 @@
 Name:                TypeCompose
-Version:             0.6.3
+Version:             0.6.4
 Synopsis: 	     Type composition classes & instances
 Category:            Composition, Control
 Description:
diff --git a/src/Control/Compose.hs b/src/Control/Compose.hs
--- a/src/Control/Compose.hs
+++ b/src/Control/Compose.hs
@@ -68,6 +68,9 @@
 import Prelude hiding ((.), id)
 #endif
 
+import Data.Foldable
+import Data.Traversable
+
 import Control.Arrow
 #if __GLASGOW_HASKELL__ < 610
                       hiding (pure)
@@ -160,6 +163,16 @@
 -- Here it is, as promised.
 
 instance (Functor g, Functor f) => Functor (g :. f) where fmap = fmapFF
+
+-- These next two instances are based on suggestions from Creighton Hogg: 
+
+instance (Foldable g, Foldable f, Functor g) => Foldable (g :. f) where
+  foldMap f = fold . fmap (foldMap f) . unO
+
+instance (Traversable g, Traversable f) => Traversable (g :. f) where
+  sequenceA = fmap O . sequenceA . fmap sequenceA . unO
+
+
 
 -- instance (Functor g, Functor f) => Functor (g :. f) where
 --   fmap = inO.fmap.fmap
diff --git a/src/Data/Zip.hs b/src/Data/Zip.hs
--- a/src/Data/Zip.hs
+++ b/src/Data/Zip.hs
@@ -1,5 +1,11 @@
-{-# LANGUAGE Rank2Types, TypeOperators, UndecidableInstances #-}
-{-# OPTIONS_GHC -Wall -fenable-rewrite-rules #-}
+{-# LANGUAGE Rank2Types, TypeOperators, UndecidableInstances, CPP #-}
+{-# OPTIONS_GHC -Wall #-}
+#if __GLASGOW_HASKELL__ < 610
+{-# OPTIONS_GHC -frewrite-rules #-}
+#else
+{-# OPTIONS_GHC -fenable-rewrite-rules #-}
+#endif
+
 ----------------------------------------------------------------------
 -- |
 -- Module      :  Data.Zip
diff --git a/wikipage.tw b/wikipage.tw
--- a/wikipage.tw
+++ b/wikipage.tw
@@ -2,6 +2,7 @@
 [[Category:Applicative]]
 [[Category:Libraries]]
 [[Category:Packages]]
+[[Category:Type-level programming]]
 
 == Abstract ==
 
@@ -10,8 +11,8 @@
 Besides this wiki page, here are more ways to find out about TypeCompose:
 * Visit the [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/TypeCompose Hackage page] for library documentation and to download & install.
 * Or install with <tt>cabal install TypeCompose</tt>.
-* Get the code repository: <tt>darcs get http://code.haskell.org/TypeCompose</tt>.
-* See the [[TypeCompose/Versions| version history]].
+* Get the code repository: <tt>darcs get http://darcs.haskell.org/packages/TypeCompose</tt>.
+<!--* See the [[TypeCompose/Versions| version history]].-->
 
 == Type composition ==