diff --git a/ShowFun.hs b/ShowFun.hs
--- a/ShowFun.hs
+++ b/ShowFun.hs
@@ -7,5 +7,3 @@
 instance (Typeable a, Typeable b) => Show (a -> b) where
     show e = '<' : (show . typeOf) e ++ ">"
 
-instance Typeable a => Show (IO a) where
-    show e = '<' : (show . typeOf) e ++ ">"
diff --git a/ShowIO.hs b/ShowIO.hs
new file mode 100644
--- /dev/null
+++ b/ShowIO.hs
@@ -0,0 +1,6 @@
+module ShowIO where
+
+import Data.Typeable
+
+instance Typeable a => Show (IO a) where
+    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.2
+version:             0.3.3
 
 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 showing functions and IO values as their type.
+                     ShowFun gives a Typeable-dependent instance for showing functions as their type. ShowIO does the same for IO actions.
                      .
                      ShowQ adds SmallCheck & QuickCheck support.
                      .
@@ -23,7 +23,7 @@
 tested-with:         GHC==6.8.2
 
 library
-   exposed-modules:     ShowQ, ShowFun, SimpleReflect
+   exposed-modules:     ShowQ, ShowFun, ShowIO, SimpleReflect
 
    build-depends:       base >= 3 && < 5, random, QuickCheck<2, smallcheck>=0.4