diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,11 @@
 Changes
 =======
 
+Version 0.2.0.2
+---------------
+
+Return a few instances that accidentally got lost
+
 Version 0.2.0.1
 ---------------
 
diff --git a/Data/Generics/Traversable/Instances.hs b/Data/Generics/Traversable/Instances.hs
--- a/Data/Generics/Traversable/Instances.hs
+++ b/Data/Generics/Traversable/Instances.hs
@@ -18,13 +18,10 @@
 instance GTraversable c Char
 instance GTraversable c Ordering
 
---deriveGTraversable ''Maybe
-instance c_0 a_1 => Data.Generics.Traversable.Core.GTraversable c_0
-                                                                (Maybe a_1)
-    where gtraverse = \f_2 x_3 -> case x_3 of
-                                                                     Nothing -> Control.Applicative.pure Nothing
-                                                                     Just arg_4 -> (Control.Applicative.<*>) (Control.Applicative.pure Just) (f_2 arg_4)
-
+deriveGTraversable ''Maybe
+deriveGTraversable ''Either
+deriveGTraversable ''(,)
+deriveGTraversable ''(,,)
 
 -- Uniform instance for lists
 instance c a => GTraversable c [a] where
diff --git a/Data/Generics/Traversable/Zipper.hs b/Data/Generics/Traversable/Zipper.hs
--- a/Data/Generics/Traversable/Zipper.hs
+++ b/Data/Generics/Traversable/Zipper.hs
@@ -3,7 +3,7 @@
 -- workshop on Generic programming, 2010»
 -- (<http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/>).
 --
--- Unlike the original @syz@ package, this implementation (based on
+-- Compared to the original @syz@ package, this implementation (based on
 -- 'GTraversable') gives more flexibility as to where a zipper may point
 -- to and what is considered as siblings.
 --
diff --git a/traverse-with-class.cabal b/traverse-with-class.cabal
--- a/traverse-with-class.cabal
+++ b/traverse-with-class.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                traverse-with-class
-version:             0.2.0.1
+version:             0.2.0.2
 synopsis:            Generic applicative traversals
 description:         This is a generic programming library in the spirit of
                      \"Scrap your boilerplate with class\", but with several
