diff --git a/library/Refined.hs b/library/Refined.hs
--- a/library/Refined.hs
+++ b/library/Refined.hs
@@ -27,17 +27,12 @@
 
 --------------------------------------------------------------------------------
 
-{-# OPTIONS_GHC -fwarn-redundant-constraints #-}
 {-# OPTIONS_GHC -Wall                        #-}
 {-# OPTIONS_GHC -funbox-strict-fields        #-}
 
 {-# LANGUAGE ConstraintKinds            #-}
 {-# LANGUAGE DataKinds                  #-}
-{-# LANGUAGE DeriveDataTypeable         #-}
-{-# LANGUAGE DeriveFoldable             #-}
-{-# LANGUAGE DeriveFunctor              #-}
 {-# LANGUAGE DeriveGeneric              #-}
-{-# LANGUAGE DeriveTraversable          #-}
 {-# LANGUAGE ExplicitNamespaces         #-}
 {-# LANGUAGE FlexibleContexts           #-}
 {-# LANGUAGE FlexibleInstances          #-}
@@ -148,10 +143,9 @@
 
 import           Control.Applicative          (Applicative (pure))
 import           Control.Exception            (Exception (displayException))
-import           Control.Monad                (Monad(return), unless, when)
+import           Control.Monad                (Monad, unless, when)
 import           Data.Bool                    ((&&))
 import           Data.Coerce                  (coerce)
-import           Data.Data                    (Data)
 import           Data.Either
                  (Either (Left, Right), either, isRight)
 import           Data.Eq                      (Eq, (==), (/=))
@@ -221,10 +215,11 @@
 --   use 'Unsafe.Coerce.unsafeCoerce'.
 newtype Refined p x = Refined x
   deriving
-    ( Data
-    , Eq
-    , Generic
-    , Generic1
+    (
+      --Data
+      Eq
+    --, Generic
+    --, Generic1
     , Ord
     , Show
     , Typeable
@@ -720,7 +715,7 @@
 
 -- | A monad transformer that adds @'RefineException'@s to other monads.
 --   
---   The @'pure'@ and @'return'@ functions yield computations that produce
+--   The @'pure'@ and @'Control.Monad.return'@ functions yield computations that produce
 --   the given value, while @'>>='@ sequences two subcomputations, exiting
 --   on the first @'RefineException'@.
 newtype RefineT m a
diff --git a/refined.cabal b/refined.cabal
--- a/refined.cabal
+++ b/refined.cabal
@@ -1,7 +1,7 @@
 name:
   refined
 version:
-  0.2.1.0
+  0.2.2.0
 synopsis:
   Refinement types with static and runtime checking
 description: