diff --git a/System/IO/ExplicitIOModes.hs b/System/IO/ExplicitIOModes.hs
--- a/System/IO/ExplicitIOModes.hs
+++ b/System/IO/ExplicitIOModes.hs
@@ -46,6 +46,8 @@
       -- | Types that represent the IOMode a 'Handle' can be in.
     , R, W, A, RW
 
+    , ReadModes, WriteModes
+
       -- ** Standard handles
 
       -- | These standard handles have concrete IOModes by default which work
@@ -56,6 +58,7 @@
     , stderr
 
     , cast
+    , CheckMode
 
       -- * Opening and closing files
       -- ** Opening files
@@ -123,7 +126,7 @@
 
     -- | Note that the following text input operations are polymorphic in the
     -- IOMode of the given handle. However the IOModes are restricted to
-    -- @ReadModes@ only which can be either 'R' or 'RW'.
+    -- 'ReadModes' only which can be either 'R' or 'RW'.
     , hWaitForInput
     , hReady
     , hGetChar
@@ -135,7 +138,7 @@
 
     -- | Note that the following text output operations are polymorphic in the
     -- IOMode of the given handle. However the IOModes are restricted to
-    -- @WriteModes@ only which can be either 'W', 'A' or 'RW'.
+    -- 'WriteModes' only which can be either 'W', 'A' or 'RW'.
     , hPutChar
     , hPutStr
     , hPutStrLn
@@ -250,13 +253,16 @@
 -- | Write only.
 data W
 
--- | Append.
+-- | Write only by appending.
 data A
 
--- | Read and write.
+-- | Both read and write.
 data RW
 
+-- | Class of readable IO mode types.
 class ReadModes  ioMode
+
+-- | Class of writable IO mode types.
 class WriteModes ioMode
 
 instance ReadModes R
@@ -518,7 +524,7 @@
 hPutStrLn = wrap SIO.hPutStrLn
 
 -- | Wraps: @System.IO.@'SIO.hPrint'.
-hPrint ∷ (WriteModes ioMode, Show a) ⇒ Handle ioMode → a → IO ()
+hPrint ∷ (WriteModes ioMode, Show α) ⇒ Handle ioMode → α → IO ()
 hPrint = wrap SIO.hPrint
 
 
diff --git a/explicit-iomodes.cabal b/explicit-iomodes.cabal
--- a/explicit-iomodes.cabal
+++ b/explicit-iomodes.cabal
@@ -1,5 +1,5 @@
 name:          explicit-iomodes
-version:       0.1.3
+version:       0.1.4
 cabal-version: >=1.6
 build-type:    Simple
 license:       BSD3