diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+[![Build status][linux-build-icon]][linux-build]
+# STM Generalized with MonadIO
+
+This package contains generalization of [STM] with [MonadIO].
+
+[linux-build-icon]: https://img.shields.io/travis/MaxOw/stm-lifted/master.svg?label=Build%20status
+[linux-build]: https://travis-ci.org/MaxOw/stm-lifted
+
+[STM]: http://hackage.haskell.org/package/stm
+[MonadIO]: http://hackage.haskell.org/package/transformers-0.3.0.0/docs/Control-Monad-IO-Class.html
+
diff --git a/src/Control/Concurrent/STM/TBQueue/Lifted.hs b/src/Control/Concurrent/STM/TBQueue/Lifted.hs
--- a/src/Control/Concurrent/STM/TBQueue/Lifted.hs
+++ b/src/Control/Concurrent/STM/TBQueue/Lifted.hs
@@ -1,13 +1,14 @@
 module Control.Concurrent.STM.TBQueue.Lifted
     ( module All
-	, newTBQueueIO
-	, readTBQueueIO
-	, tryReadTBQueueIO
-	, peekTBQueueIO
-	, tryPeekTBQueueIO
-	, writeTBQueueIO
+    , newTBQueueIO
+    , readTBQueueIO
+    , tryReadTBQueueIO
+    , peekTBQueueIO
+    , tryPeekTBQueueIO
+    , writeTBQueueIO
     , unGetTBQueueIO
     , isEmptyTBQueueIO
+    , isFullTBQueueIO
     ) where
 
 import Control.Concurrent.STM.TBQueue as All hiding (newTBQueueIO)
@@ -40,3 +41,6 @@
 
 isEmptyTBQueueIO :: MonadIO m => TBQueue a -> m Bool
 isEmptyTBQueueIO = atomically . isEmptyTBQueue
+
+isFullTBQueueIO :: MonadIO m => TBQueue a -> m Bool
+isFullTBQueueIO = atomically . isFullTBQueue
diff --git a/src/Control/Concurrent/STM/TChan/Lifted.hs b/src/Control/Concurrent/STM/TChan/Lifted.hs
--- a/src/Control/Concurrent/STM/TChan/Lifted.hs
+++ b/src/Control/Concurrent/STM/TChan/Lifted.hs
@@ -1,18 +1,17 @@
 module Control.Concurrent.STM.TChan.Lifted
     ( module All
-	, newTChanIO
-	, newBroadcastTChanIO
+    , newTChanIO
+    , newBroadcastTChanIO
     , dupTChanIO
-	, readTChanIO
-	, tryReadTChanIO
-	, peekTChanIO
-	, tryPeekTChanIO
-	, writeTChanIO
+    , readTChanIO
+    , tryReadTChanIO
+    , peekTChanIO
+    , tryPeekTChanIO
+    , writeTChanIO
     , unGetTChanIO
     , isEmptyTChanIO
     , cloneTChanIO
     ) where
-
 
 import Control.Concurrent.STM.TChan as All
     hiding (newTChanIO, newBroadcastTChanIO)
diff --git a/src/Control/Concurrent/STM/TMVar/Lifted.hs b/src/Control/Concurrent/STM/TMVar/Lifted.hs
--- a/src/Control/Concurrent/STM/TMVar/Lifted.hs
+++ b/src/Control/Concurrent/STM/TMVar/Lifted.hs
@@ -1,15 +1,15 @@
 module Control.Concurrent.STM.TMVar.Lifted
-	( module All
+    ( module All
     , newTMVarIO
-	, newEmptyTMVarIO
-	, takeTMVarIO
-	, putTMVarIO
-	, readTMVarIO
-	, tryReadTMVarIO
-	, swapTMVarIO
-	, tryTakeTMVarIO
-	, tryPutTMVarIO
-	, isEmptyTMVarIO
+    , newEmptyTMVarIO
+    , takeTMVarIO
+    , putTMVarIO
+    , readTMVarIO
+    , tryReadTMVarIO
+    , swapTMVarIO
+    , tryTakeTMVarIO
+    , tryPutTMVarIO
+    , isEmptyTMVarIO
     ) where
 
 import Control.Concurrent.STM.TMVar as All
diff --git a/src/Control/Concurrent/STM/TQueue/Lifted.hs b/src/Control/Concurrent/STM/TQueue/Lifted.hs
--- a/src/Control/Concurrent/STM/TQueue/Lifted.hs
+++ b/src/Control/Concurrent/STM/TQueue/Lifted.hs
@@ -1,11 +1,11 @@
 module Control.Concurrent.STM.TQueue.Lifted
     ( module All
-	, newTQueueIO
-	, readTQueueIO
-	, tryReadTQueueIO
-	, peekTQueueIO
-	, tryPeekTQueueIO
-	, writeTQueueIO
+    , newTQueueIO
+    , readTQueueIO
+    , tryReadTQueueIO
+    , peekTQueueIO
+    , tryPeekTQueueIO
+    , writeTQueueIO
     , unGetTQueueIO
     , isEmptyTQueueIO
     ) where
diff --git a/src/Control/Concurrent/STM/TVar/Lifted.hs b/src/Control/Concurrent/STM/TVar/Lifted.hs
--- a/src/Control/Concurrent/STM/TVar/Lifted.hs
+++ b/src/Control/Concurrent/STM/TVar/Lifted.hs
@@ -34,4 +34,3 @@
 
 swapTVarIO :: MonadIO m => TVar a -> a -> m a
 swapTVarIO = atomically .: swapTVar
-
diff --git a/stm-lifted.cabal b/stm-lifted.cabal
--- a/stm-lifted.cabal
+++ b/stm-lifted.cabal
@@ -1,5 +1,5 @@
 name:		stm-lifted
-version:        0.1.0.0
+version:        0.1.1.0
 synopsis:	Software Transactional Memory lifted to MonadIO
 license:	BSD3
 license-file:	LICENSE
@@ -13,13 +13,14 @@
 cabal-version:  >= 1.10
 
 description:
- A MonadIO version of
- <http://hackage.haskell.org/package/stm-2.4.2 STM> library.
+ A MonadIO version of <http://hackage.haskell.org/package/stm STM> library.
 
+extra-source-files:
+  README.md
 
 source-repository head
     type:     git
-    location: https://github.org/MaxOw/stm-lifted.git
+    location: https://github.com/MaxOw/stm-lifted.git
 
 library
   default-language: Haskell2010
@@ -34,7 +35,6 @@
     , Control.Concurrent.STM.TSem.Lifted
   other-modules: Internal
   build-depends:
-      base          >= 4.5   && < 5
-    , transformers  >= 0.2   && < 0.4
-    , stm           >= 2.4.2 && < 3
-
+      base          >= 4.5     && < 5
+    , transformers  >= 0.2     && < 0.6
+    , stm           >= 2.4.4.1 && < 3