diff --git a/Control/Monad/IO/Unwrappable.hs b/Control/Monad/IO/Unwrappable.hs
--- a/Control/Monad/IO/Unwrappable.hs
+++ b/Control/Monad/IO/Unwrappable.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE TypeFamilies #-}
 -- | Contains a class and instance for MonadIO implementations that can be run directly in MonadIO and
 -- | then reconstructed to the original type, without changing the overall semantics.
-module Control.Monad.IO.Unwrappable (MonadIOUnwrappable, unwrapState, unwrapMonadIO, rewrapMonadIO)
+module Control.Monad.IO.Unwrappable (MonadIOWrapType, MonadIOStateType, MonadIOUnwrappable, unwrapState, unwrapMonadIO, rewrapMonadIO)
 where       
 
 import Control.Monad.Trans.Class
diff --git a/monadio-unwrappable.cabal b/monadio-unwrappable.cabal
--- a/monadio-unwrappable.cabal
+++ b/monadio-unwrappable.cabal
@@ -1,5 +1,5 @@
 Name: monadio-unwrappable
-Version: 0.2
+Version: 0.3
 Cabal-Version: >= 1.6
 Build-Type: Simple
 License: BSD3