diff --git a/ShowFun.hs b/ShowFun.hs
--- a/ShowFun.hs
+++ b/ShowFun.hs
@@ -8,4 +8,4 @@
     show e = '<' : (show . typeOf) e ++ ">"
 
 instance Typeable a => Show (IO a) where
-    show e = '<' : (show . typeOf) e ++ ">"
+    show e = error $ show ('<' : (show . typeOf) e ++ ">")
diff --git a/ShowQ.hs b/ShowQ.hs
--- a/ShowQ.hs
+++ b/ShowQ.hs
@@ -67,8 +67,11 @@
                                          fromIntegral b :: Integer) g of
                             (x,g) -> (fromIntegral x, g)
 
-myquickcheck :: Testable a => a -> IO String
-myquickcheck a = do
+myquickcheck :: Testable a => a -> String
+myquickcheck = unsafePerformIO . myquickcheck'
+
+myquickcheck' :: Testable a => a -> IO String
+myquickcheck' a = do
     rnd <- newStdGen
     tests (evaluate a) rnd 0 0 []
 
diff --git a/show.cabal b/show.cabal
--- a/show.cabal
+++ b/show.cabal
@@ -1,10 +1,10 @@
 name:                show
-version:             0.1
+version:             0.2
 
 license:             GPL
 license-file:        LICENSE
 author:              Lambdabot devs, Twan van Laarhoven <twanvl@gmail.com>
--- maintainer:          Cale
+maintainer:          Lambdabot developers
 
 stability:           Experimental
 category:            Language