diff --git a/Mueval/Context.hs b/Mueval/Context.hs
--- a/Mueval/Context.hs
+++ b/Mueval/Context.hs
@@ -17,12 +17,11 @@
    crippled; we want SimpleReflect so we can do neat things (for said neat
    things, see
    <http://twan.home.fmf.nl/blog/haskell/simple-reflection-of-expressions.details>);
-   and we want ShowQ and ShowFun to neuter IO stuff even more.
+   and we want ShowFun to neuter IO stuff even more.
    The rest should be safe to import without clashes, according to the Lambdabot
    sources. -}
 defaultModules :: [String]
 defaultModules = ["Prelude",
-                  "ShowQ",
                   "ShowFun",
                   "Debug.SimpleReflect",
                   "Data.Function",
diff --git a/mueval.cabal b/mueval.cabal
--- a/mueval.cabal
+++ b/mueval.cabal
@@ -1,5 +1,5 @@
 name:                mueval
-version:             0.9
+version:             0.9.1
 
 license:             BSD3
 license-file:        LICENSE
diff --git a/tests.sh b/tests.sh
--- a/tests.sh
+++ b/tests.sh
@@ -37,14 +37,6 @@
 m 'foldr (\x y -> concat ["(f ",x," ",y,")"]) "z" (map show [1..5])'
 ## Test 1024-char limit
 m 'repeat 1'
-## Let's see whether the ShowQ instances for QuickCheck work
-m 'myquickcheck (1+1 == 2)' -E
-m 'myquickcheck (\x -> x == x)' -E
-m 'myquickcheck (\x -> (x :: String) == x)' -E
-## Test SmallCheck using examples from #haskell
-m 'mysmallcheck True' -E
-m 'mysmallcheck (\x -> x < (10000::Int))' -E
-m 'mysmallcheck (\x -> not x || x)' -E
 ## Test Unicode. If this fails, characters got mangled somewhere.
 # m 'let (ñ) = (+) in ñ 5 5'
 ## Test default imports & have some function fun