diff --git a/Test/QuickCheck/PolyQC.hs b/Test/QuickCheck/PolyQC.hs
--- a/Test/QuickCheck/PolyQC.hs
+++ b/Test/QuickCheck/PolyQC.hs
@@ -131,9 +131,9 @@
                        (ModuleImports {top=m,locals=lms,packages=pms})
                        e
                        ts = GHCi.runInterpreter $ do
-  GHCi.loadModules $ nub $ [m,"Test.QuickCheck.UnsafeShowIO"] ++ lms
+  GHCi.loadModules $ nub $ [m] ++ lms
   GHCi.setTopLevelModules [m]
-  GHCi.setImports $ nub $ [m,"Monad","Test.QuickCheck"] ++ pms
+  GHCi.setImports $ nub $ [m,"Monad","Test.QuickCheck","Test.QuickCheck.UnsafeShowIO"] ++ pms
   GHCi.set [ GHCi.languageExtensions GHCi.:= (GHCi.FlexibleContexts :
                                               GHCi.glasgowExtensions) ]
   ty <- GHCi.typeOf e
diff --git a/quickcheck-poly.cabal b/quickcheck-poly.cabal
--- a/quickcheck-poly.cabal
+++ b/quickcheck-poly.cabal
@@ -1,5 +1,5 @@
 Name:		quickcheck-poly
-Version:	0.1.0.1
+Version:	0.2.0.0
 License:	BSD3
 Author:		Ahn, Ki Yung
 Maintainer:	Ahn, Ki Yung <kya@pdx.edu>