diff --git a/Data/Semigroup.hs b/Data/Semigroup.hs
--- a/Data/Semigroup.hs
+++ b/Data/Semigroup.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE DeriveDataTypeable #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Semigroup
@@ -25,7 +24,7 @@
   , Any(..)
   , Sum(..)
   , Product(..)
-  -- * New Monoids
+  -- * A better monoid for Maybe
   , Option(..)
   , option
   ) where
@@ -33,15 +32,40 @@
 import Prelude hiding (foldr1)
 import Data.Monoid hiding (First(..), Last(..))
 import qualified Data.Monoid as Monoid
+
+#ifdef LANGUAGE_DeriveDataTypeable
 import Data.Data
+#endif
 
 infixl 4 <> 
 
 class Semigroup a where
   (<>) :: a -> a -> a
 
--- Semigroups from Data.Monoid
+instance Semigroup [a] where
+  (<>) = (++)
 
+instance Semigroup a => Semigroup (Maybe a) where
+  Nothing <> b       = b
+  a       <> Nothing = a
+  Just a  <> Just b  = Just (a <> b)
+
+instance Semigroup (Either a b) where
+  Left _ <> b = b
+  a      <> _ = a
+
+instance (Semigroup a, Semigroup b) => Semigroup (a, b) where
+  (a,b) <> (a',b') = (a<>a',b<>b')
+  
+instance (Semigroup a, Semigroup b, Semigroup c) => Semigroup (a, b, c) where
+  (a,b,c) <> (a',b',c') = (a<>a',b<>b',c<>c')
+
+instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d) => Semigroup (a, b, c, d) where
+  (a,b,c,d) <> (a',b',c',d') = (a<>a',b<>b',c<>c',d<>d')
+
+instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => Semigroup (a, b, c, d, e) where
+  (a,b,c,d,e) <> (a',b',c',d',e') = (a<>a',b<>b',c<>c',d<>d',e<>e')
+
 instance Semigroup a => Semigroup (Dual a) where
   Dual a <> Dual b = Dual (b <> a)
 
@@ -68,10 +92,12 @@
   a <> Monoid.Last Nothing = a
   _ <> b            = b
 
--- * Other Semigroups
-
-newtype Min a = Min { getMin :: a } 
-  deriving (Eq,Ord,Bounded,Show,Read,Data,Typeable)
+newtype Min a = Min { getMin :: a } deriving 
+  ( Eq, Ord, Bounded, Show, Read
+#ifdef LANGUAGE_DeriveDataTypeable
+  , Data, Typeable
+#endif
+  )
 
 instance Ord a => Semigroup (Min a) where
   Min a <> Min b = Min (a `min` b)
@@ -80,8 +106,12 @@
   mempty = maxBound
   mappend = (<>) 
 
-newtype Max a = Max { getMax :: a } 
-  deriving (Eq,Ord,Bounded,Show,Read,Data,Typeable)
+newtype Max a = Max { getMax :: a } deriving 
+  ( Eq, Ord, Bounded, Show, Read
+#ifdef LANGUAGE_DeriveDataTypeable
+  , Data, Typeable
+#endif
+  )
 
 instance Ord a => Semigroup (Max a) where
   Max a <> Max b = Max (a `min` b)
@@ -90,24 +120,38 @@
   mempty = minBound
   mappend = (<>) 
 
--- | Use Option (First a) -- to get the behavior of Data.Monoid.First
-newtype First a = First { getFirst :: a }
-  deriving (Eq,Ord,Bounded,Show,Read,Data,Typeable)
+-- | Use @'Option' ('First' a)@ -- to get the behavior of 'Data.Monoid.First'
+newtype First a = First { getFirst :: a } deriving 
+  ( Eq, Ord, Bounded, Show, Read
+#ifdef LANGUAGE_DeriveDataTypeable
+  , Data
+  , Typeable
+#endif
+  )
 
 instance Semigroup (First a) where
   a <> _ = a
 
--- | Use Option (Last a) -- to get the behavior of Data.Monoid.Last
-newtype Last a = Last { getLast :: a }
-  deriving (Eq,Ord,Bounded,Show,Read,Data,Typeable)
+-- | Use @'Option' ('Last' a)@ -- to get the behavior of 'Data.Monoid.Last'
+newtype Last a = Last { getLast :: a } deriving 
+  ( Eq, Ord, Bounded, Show, Read
+#ifdef LANGUAGE_DeriveDataTypeable
+  , Data, Typeable
+#endif
+  )
 
 instance Semigroup (Last a) where
   _ <> b = b
 
--- (==)/XNOR on Bool forms a Semigroup, but has no good name
+-- (==)/XNOR on Bool forms a 'Semigroup', but has no good name
 
-newtype WrappedMonoid m = WrapMonoid { unwrapMonoid :: m } 
-  deriving (Data, Typeable, Show, Read, Eq, Ord)
+newtype WrappedMonoid m = WrapMonoid 
+  { unwrapMonoid :: m } deriving 
+  ( Eq, Ord, Show, Read
+#ifdef LANGUAGE_DeriveDataTypeable
+  , Data, Typeable
+#endif
+  )
 
 instance Monoid m => Semigroup (WrappedMonoid m) where
   WrapMonoid a <> WrapMonoid b = WrapMonoid (a `mappend` b)
@@ -116,20 +160,20 @@
   mempty = WrapMonoid mempty
   WrapMonoid a `mappend` WrapMonoid b = WrapMonoid (a `mappend` b)
 
-newtype Option a = Option { getOption :: Maybe a } 
-  deriving (Data, Typeable, Show, Read, Eq, Ord)
+newtype Option a = Option 
+  { getOption :: Maybe a } deriving 
+  ( Eq, Ord, Show, Read
+#ifdef LANGUAGE_DeriveDataTypeable
+  , Data, Typeable
+#endif
+  )
 
 option :: b -> (a -> b) -> Option a -> b
 option n j (Option m) = maybe n j m
 
 instance Semigroup a => Semigroup (Option a) where
-  Option Nothing <> b = b
-  a <> Option Nothing = a
-  Option (Just a) <> Option (Just b) = Option (Just (a <> b))
+  Option a <> Option b = Option (a <> b) 
 
 instance Semigroup a => Monoid (Option a) where
   mempty = Option Nothing
-
-  Option Nothing `mappend` b = b
-  a `mappend` Option Nothing = a
-  Option (Just a) `mappend` Option (Just b) = Option (Just (a <> b))
+  Option a `mappend` Option b = Option (a <> b)
diff --git a/semigroups.cabal b/semigroups.cabal
--- a/semigroups.cabal
+++ b/semigroups.cabal
@@ -1,8 +1,8 @@
 name:          semigroups
 category:      Control, Comonads
-version:       0.3.0
+version:       0.3.1
 license:       BSD3
-cabal-version: >= 1.2
+cabal-version: >= 1.6
 license-file:  LICENSE
 author:        Edward A. Kmett
 maintainer:    Edward A. Kmett <ekmett@gmail.com>
@@ -11,13 +11,21 @@
 copyright:     Copyright (C) 2008-2011 Edward A. Kmett, Copyright (C) 2004-2008 Dave Menendez
 synopsis:      Haskell 98 semigroups
 description:   Haskell 98 semigroups
-build-type:    Simple
+build-type:    Simple  
 
+flag DeriveDataTypeable
+  description: DeriveDataTypeable available
+  default: True
+  manual: False
+
 library
-  build-depends: 
-    base >= 4 && < 4.4
+  build-depends: base >= 4 && < 4.4
+  ghc-options: -Wall
+  extensions: CPP
+  if flag(DeriveDataTypeable)
+    extensions: DeriveDataTypeable
+    cpp-options: -DLANGUAGE_DeriveDataTypeable
 
   exposed-modules:
     Data.Semigroup
 
-  ghc-options: -Wall