diff --git a/dejafu/CHANGELOG.markdown b/dejafu/CHANGELOG.markdown
index c940247..c41fd24 100644
--- a/dejafu/CHANGELOG.markdown
+++ b/dejafu/CHANGELOG.markdown
@@ -6,6 +6,17 @@ All notable changes to this project will be documented in this file.
 This project is versioned according to the [Package Versioning Policy](https://pvp.haskell.org), the
 *de facto* standard Haskell versioning scheme.
 
+unreleased
+----------
+
+### Test.DejaFu.Refinement
+
+- Removed unnecessary typeclass constraints from `check`, `check'`, `checkFor`, and
+  `counterExamples`.
+
+
+---------------------------------------------------------------------------------------------------
+
 
 0.7.0.1 [2017-06-09] (git tag: [dejafu-0.7.0.1][])
 -------
diff --git a/dejafu/Test/DejaFu/Refinement.hs b/dejafu/Test/DejaFu/Refinement.hs
index 8816597..69d4b12 100644
--- a/dejafu/Test/DejaFu/Refinement.hs
+++ b/dejafu/Test/DejaFu/Refinement.hs
@@ -274,7 +274,7 @@ data FailedProperty o x
 -- variable assignments.
 --
 -- @since 0.7.0.0
-check :: (Testable p, Listable (X p), Eq (X p), Show (X p), Show (O p))
+check :: (Testable p, Listable (X p), Show (X p), Show (O p))
   => p
   -- ^ The property to check.
   -> IO Bool
@@ -296,7 +296,7 @@ check p = do
 -- counterexample.
 --
 -- @since 0.7.0.0
-check' :: (Testable p, Listable (X p), Eq (X p), Show (X p), Show (O p))
+check' :: (Testable p, Listable (X p))
   => p
   -- ^ The property to check.
   -> IO (Maybe (FailedProperty (O p) (X p)))
@@ -309,7 +309,7 @@ check' = checkFor 10 100
 -- @listToMaybe@ composed with @counterExamples@.
 --
 -- @since 0.7.0.0
-checkFor :: (Testable p, Listable (X p), Eq (X p), Show (X p))
+checkFor :: (Testable p, Listable (X p))
   => Int
   -- ^ Number of seed values per variable-assignment.
   -> Int
@@ -332,7 +332,7 @@ checkFor sn vn p =  do
 -- | Find all counterexamples up to a limit.
 --
 -- @since 0.7.0.0
-counterExamples :: (Testable p, Listable (X p), Eq (X p))
+counterExamples :: (Testable p, Listable (X p))
   => Int
   -- ^ Number of seed values per variable-assignment.
   -> Int