diff --git a/library/Refined.hs b/library/Refined.hs
--- a/library/Refined.hs
+++ b/library/Refined.hs
@@ -161,12 +161,11 @@
 import           Data.Functor.Identity        (Identity (runIdentity))
 import           Data.List                    ((++))
 import qualified Data.List                    as List
-import           Data.Monoid                  (Monoid(mempty,mappend),mconcat)
+import           Data.Monoid                  (mconcat)
 import           Data.Ord                     (Ord, (<), (<=), (>), (>=))
 import           Data.Proxy                   (Proxy (Proxy))
 import           Data.Semigroup               (Semigroup((<>)))
 import           Data.These                   (These(..))
-import           Data.Traversable             (Traversable)
 import           Data.Typeable                (TypeRep, Typeable, typeOf)
 import           Data.Void                    (Void)
 import           Text.Read                    (Read (readsPrec), lex, readParen)
@@ -187,7 +186,7 @@
 import           GHC.Generics                 (Generic, Generic1)
 import           GHC.TypeLits                 (type (<=), KnownNat, Nat, natVal)
 
-import qualified Data.Text.Prettyprint.Doc                 as PP
+import qualified Data.Text.Prettyprint.Doc    as PP
 
 import qualified Language.Haskell.TH.Syntax   as TH
 
@@ -224,24 +223,14 @@
   deriving
     ( Data
     , Eq
-    , Foldable
-    , Functor
     , Generic
     , Generic1
     , Ord
     , Show
-    , Traversable
     , Typeable
     )
 
 type role Refined phantom representational
-
-instance Semigroup x => Semigroup (Refined p x) where
-  (Refined x) <> (Refined y) = Refined (x <> y) 
-
-instance Monoid x => Monoid (Refined p x) where
-  mempty  = Refined mempty
-  mappend (Refined x) (Refined y) = Refined (mappend x y) 
 
 instance (Read x, Predicate p x) => Read (Refined p x) where
   readsPrec d = readParen (d > 10) $ \r1 -> do
diff --git a/refined.cabal b/refined.cabal
--- a/refined.cabal
+++ b/refined.cabal
@@ -1,7 +1,7 @@
 name:
   refined
 version:
-  0.2.0.0
+  0.2.1.0
 synopsis:
   Refinement types with static and runtime checking
 description: