diff --git a/Data/Proxy.hs b/Data/Proxy.hs
--- a/Data/Proxy.hs
+++ b/Data/Proxy.hs
@@ -25,7 +25,6 @@
 import Control.Applicative (Applicative(..))
 import Data.Traversable (Traversable(..))
 import Data.Foldable (Foldable(..))
-import Data.Default (Default(..))
 import Data.Data (Data,Typeable)
 import Data.Ix (Ix(..))
 import Data.Tagged
@@ -129,10 +128,6 @@
     {-# INLINE mapM #-}
     sequence _ = return Proxy
     {-# INLINE sequence #-}
-
-instance Default (Proxy s) where
-    def = Proxy
-    {-# INLINE def #-}
 
 -- | Some times you need to change the proxy you have lying around.
 -- Idiomatic usage is to make a new combinator for the relationship 
diff --git a/tagged.cabal b/tagged.cabal
--- a/tagged.cabal
+++ b/tagged.cabal
@@ -1,5 +1,5 @@
 name:           tagged
-version:        0.2.3.1
+version:        0.3
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett
@@ -17,17 +17,12 @@
   type: git
   location: git://github.com/ekmett/tagged.git
 
-flag DeriveDataTypeable
-  default: True
-  manual: False
-
 library
-  if flag(DeriveDataTypeable)
+  if !impl(hugs)
     cpp-options: -DLANGUAGE_DeriveDataTypeable
     extensions: DeriveDataTypeable
-  build-depends: 
-    base >= 4 && < 5,
-    data-default >= 0.2 && < 3,
+  build-depends:
+    base >= 2 && < 5,
     semigroups >= 0.8 && < 0.9
   exposed-modules:
     Data.Tagged