diff --git a/Control/Monad/Trans/Region/Instances/MonadsTF.hs b/Control/Monad/Trans/Region/Instances/MonadsTF.hs
--- a/Control/Monad/Trans/Region/Instances/MonadsTF.hs
+++ b/Control/Monad/Trans/Region/Instances/MonadsTF.hs
@@ -27,43 +27,43 @@
 import Control.Monad.Trans ( lift )
 
 -- from unicode-symbols:
-import Data.Function.Unicode ( (∘) )
+import Prelude.Unicode ( (∘) )
 
 -- from regions:
-import Control.Monad.Trans.Region.Internal ( RegionT
-                                           , liftCatch
-                                           , mapRegionT
-                                           -- TODO: , liftCallCC
-                                           )
+import Control.Monad.Trans.Region ( RegionT
+                                  , liftCatch
+                                  , mapRegionT
+                                  -- TODO: , liftCallCC
+                                  )
 
 -- TODO:
--- instance Monad pr ⇒ MonadCont (RegionT resource s pr) where
+-- instance Monad pr ⇒ MonadCont (RegionT s pr) where
 --     callCC = liftCallCC callCC
 
-instance MonadError pr ⇒ MonadError (RegionT resource s pr) where
+instance MonadError pr ⇒ MonadError (RegionT s pr) where
 
-    type ErrorType (RegionT resource s pr) = ErrorType pr
+    type ErrorType (RegionT s pr) = ErrorType pr
 
     throwError = lift ∘ throwError
     catchError = liftCatch catchError
 
-instance MonadRWS pr ⇒ MonadRWS (RegionT resource s pr)
+instance MonadRWS pr ⇒ MonadRWS (RegionT s pr)
 
-instance MonadReader pr ⇒ MonadReader (RegionT resource s pr) where
-    type EnvType (RegionT resource s pr) = EnvType pr
+instance MonadReader pr ⇒ MonadReader (RegionT s pr) where
+    type EnvType (RegionT s pr) = EnvType pr
 
     ask   = lift ask
     local = mapRegionT ∘ local
 
-instance MonadWriter pr ⇒ MonadWriter (RegionT resource s pr) where
-    type WriterType (RegionT resource s pr) = WriterType pr
+instance MonadWriter pr ⇒ MonadWriter (RegionT s pr) where
+    type WriterType (RegionT s pr) = WriterType pr
 
     tell   = lift ∘ tell
     listen = mapRegionT listen
     pass   = mapRegionT pass
 
-instance MonadState pr ⇒ MonadState (RegionT resource s pr) where
-    type StateType (RegionT resource s pr) = StateType pr
+instance MonadState pr ⇒ MonadState (RegionT s pr) where
+    type StateType (RegionT s pr) = StateType pr
 
     get = lift get
     put = lift ∘ put
diff --git a/regions-monadstf.cabal b/regions-monadstf.cabal
--- a/regions-monadstf.cabal
+++ b/regions-monadstf.cabal
@@ -1,5 +1,5 @@
 name:          regions-monadstf
-version:       0.1.0.1
+version:       0.2
 cabal-version: >=1.6
 build-type:    Simple
 license:       BSD3
@@ -17,9 +17,9 @@
 
 Library
   GHC-Options: -O2 -Wall -fno-warn-orphans
-  build-depends: base-unicode-symbols >= 0.1.1 && < 0.2
+  build-depends: base-unicode-symbols == 0.1.*
                , transformers         >= 0.1.4 && < 0.2
-               , regions              == 0.1.*
+               , regions              == 0.2.*
                , monads-tf            == 0.0.*
   exposed-modules: Control.Monad.Trans.Region.Instances.MonadsTF