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 = error $ show ('<' : (show . typeOf) e ++ ">")
+    show e = '<' : (show . typeOf) e ++ ">"
diff --git a/show.cabal b/show.cabal
--- a/show.cabal
+++ b/show.cabal
@@ -1,5 +1,5 @@
 name:                show
-version:             0.3.1
+version:             0.3.2
 
 license:             GPL
 license-file:        LICENSE
@@ -11,7 +11,7 @@
 synopsis:            'Show' instances for Lambdabot
 description:         This package provides ShowQ, ShowFun, and SimpleReflect.
                      .
-                     ShowFun gives us Typeable instances for neutring IO expressions.
+                     ShowFun gives us Typeable instances for showing functions and IO values as their type.
                      .
                      ShowQ adds SmallCheck & QuickCheck support.
                      .
@@ -25,7 +25,7 @@
 library
    exposed-modules:     ShowQ, ShowFun, SimpleReflect
 
-   build-depends:       base, random, QuickCheck<2, smallcheck>=0.4
+   build-depends:       base >= 3 && < 5, random, QuickCheck<2, smallcheck>=0.4
 
    ghc-options:         -Wall
    ghc-prof-options:    -prof -auto-all