diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+3.1
+---
+* More instances for `Coproduct`
+
 3.0.4
 -----
 * Removed unnecessary constraints in `Control.Comonad.Trans.Store`.
diff --git a/comonad-transformers.cabal b/comonad-transformers.cabal
--- a/comonad-transformers.cabal
+++ b/comonad-transformers.cabal
@@ -1,6 +1,6 @@
 name:          comonad-transformers
 category:      Control, Comonads
-version:       3.0.4
+version:       3.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
diff --git a/src/Data/Functor/Coproduct.hs b/src/Data/Functor/Coproduct.hs
--- a/src/Data/Functor/Coproduct.hs
+++ b/src/Data/Functor/Coproduct.hs
@@ -28,6 +28,7 @@
 import Data.Semigroup.Traversable
 
 newtype Coproduct f g a = Coproduct { getCoproduct :: Either (f a) (g a) }
+  deriving (Eq, Ord, Read, Show)
 
 left :: f a -> Coproduct f g a
 left = Coproduct . Left