diff --git a/opentheory-primitive.cabal b/opentheory-primitive.cabal
--- a/opentheory-primitive.cabal
+++ b/opentheory-primitive.cabal
@@ -1,5 +1,5 @@
 name: opentheory-primitive
-version: 1.7
+version: 1.8
 category: Formal Methods
 synopsis: Haskell primitives used by OpenTheory packages
 license: MIT
diff --git a/src/OpenTheory/Primitive/Test.hs b/src/OpenTheory/Primitive/Test.hs
--- a/src/OpenTheory/Primitive/Test.hs
+++ b/src/OpenTheory/Primitive/Test.hs
@@ -12,25 +12,24 @@
     check )
 where
 
-import Test.QuickCheck
+import qualified Test.QuickCheck as QuickCheck
 
 assert :: String -> Bool -> IO ()
 assert desc prop =
-  do putStr desc
-     if prop
-       then putStrLn "+++ OK"
-       else
-         do putStr "**"
-            putStrLn "* Failed!"
-            error "Assertion failed"
-
-checkArgs :: Test.QuickCheck.Args
-checkArgs = Test.QuickCheck.stdArgs { maxSuccess = 100 }
+    do putStr desc
+       if prop
+         then putStrLn "+++ OK"
+         else
+           do putStr "**"
+              putStrLn "* Failed!"
+              error "Assertion failed"
 
-check :: Testable prop => String -> prop -> IO ()
+check :: QuickCheck.Testable prop => String -> prop -> IO ()
 check desc prop =
-  do putStr desc
-     res <- Test.QuickCheck.quickCheckWithResult checkArgs prop
-     case res of
-       Test.QuickCheck.Failure {} -> error "Proposition failed"
-       _ -> return ()
+    do putStr desc
+       res <- QuickCheck.quickCheckWithResult args prop
+       case res of
+         QuickCheck.Failure {} -> error "Proposition failed"
+         _ -> return ()
+  where
+    args = QuickCheck.stdArgs {QuickCheck.maxSuccess = 100}