diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -7,6 +7,27 @@
 *de facto* standard Haskell versioning scheme.
 
 
+0.7.0.2 [2017-06-12] (git tag: [dejafu-0.7.0.2][])
+-------
+
+https://hackage.haskell.org/package/dejafu-0.7.0.2
+
+### Test.DejaFu.Refinement
+
+- Removed unnecessary typeclass constraints from `check`, `check'`, `checkFor`, and
+  `counterExamples`.
+
+### Miscellaneous
+
+- Removed an unnecessary dependency on [monad-loops][].
+
+[monad-loops]: https://hackage.haskell.org/package/monad-loops
+[dejafu-0.7.0.2]: https://github.com/barrucadu/dejafu/releases/tag/dejafu-0.7.0.2
+
+
+---------------------------------------------------------------------------------------------------
+
+
 0.7.0.1 [2017-06-09] (git tag: [dejafu-0.7.0.1][])
 -------
 
diff --git a/Test/DejaFu/Refinement.hs b/Test/DejaFu/Refinement.hs
--- a/Test/DejaFu/Refinement.hs
+++ b/Test/DejaFu/Refinement.hs
@@ -108,7 +108,7 @@
 import           Control.Arrow            (first)
 import           Control.Monad            (void)
 import           Control.Monad.Conc.Class (readMVar, spawn)
-import           Data.Maybe               (isNothing, listToMaybe)
+import           Data.Maybe               (isNothing)
 import           Data.Set                 (Set)
 import qualified Data.Set                 as S
 import           Test.LeanCheck           (Listable(..), concatMapT, mapT)
@@ -274,7 +274,7 @@
 -- 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 @@
 -- 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 @@
 -- @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 @@
 -- | 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
diff --git a/dejafu.cabal b/dejafu.cabal
--- a/dejafu.cabal
+++ b/dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                dejafu
-version:             0.7.0.1
+version:             0.7.0.2
 synopsis:            Systematic testing for Haskell concurrency.
 
 description:
@@ -37,7 +37,7 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      dejafu-0.7.0.1
+  tag:      dejafu-0.7.0.2
 
 library
   exposed-modules:     Test.DejaFu
@@ -64,7 +64,6 @@
                      , deepseq           >=1.1  && <2
                      , exceptions        >=0.7  && <0.9
                      , leancheck         >=0.6  && <0.7
-                     , monad-loops       >=0.4  && <0.5
                      , mtl               >=2.2  && <2.3
                      , random            >=1.0  && <1.2
                      , ref-fd            >=0.4  && <0.5