diff --git a/logict-state.cabal b/logict-state.cabal
--- a/logict-state.cabal
+++ b/logict-state.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                logict-state
-version:             0.1.0.1
+version:             0.1.0.2
 synopsis:            Library for logic programming based on haskell package logict
 description:         Logic programming built on top of part of logict library, in particular for dealing with backtrackable state
 homepage:            https://github.com/atzedijkstra/logict-state
diff --git a/src/Control/Monad/LogicState.hs b/src/Control/Monad/LogicState.hs
--- a/src/Control/Monad/LogicState.hs
+++ b/src/Control/Monad/LogicState.hs
@@ -27,13 +27,12 @@
     module Control.Monad.Trans,
     module Control.Monad.LogicState.Class,
     module Control.Monad.TransLogicState.Class,
-    -- * The LogicVar monad
-    -- LogicVar,
+    -- * The LogicState monad
     LogicState,
     {-
     logicVar,
     runLogicVar,
-    -- * The LogicVarT monad transformer
+    -- * The LogicStateT monad transformer
     -}
     -- LogicVarT(..),
     {-
@@ -113,9 +112,11 @@
 instance (MonadIO m) => MonadIO (LogicStateT gs bs m) where
     liftIO = lift . liftIO
 
+{-
 instance {-# OVERLAPPABLE #-} MonadState s m => MonadState s (LogicStateT gs bs m) where
     get = lift get
     put = lift . put
+-}
 
 instance MonadReader r m => MonadReader r (LogicStateT gs bs m) where
     ask = lift ask
diff --git a/src/Control/Monad/LogicState/Class.hs b/src/Control/Monad/LogicState/Class.hs
--- a/src/Control/Monad/LogicState/Class.hs
+++ b/src/Control/Monad/LogicState/Class.hs
@@ -6,12 +6,11 @@
   where
 
 import Control.Monad
-import Control.Monad.Logic.Class
-import Control.Monad.State
+import Control.Monad.Logic.Class (MonadLogic)
+import Control.Monad.State (MonadState)
 
 -------------------------------------------------------------------------------
--- | API for MonadLogic which allows state and backtracking on it
--- Minimal implementation: msplit
+-- | API for MonadLogic which allows state and backtracking on it.
 class (MonadLogic m, MonadState s m) => MonadLogicState s m where
     
     -- | Return argument monad with the current backtrackable part of the state remembered.
diff --git a/src/Control/Monad/TransLogicState/Class.hs b/src/Control/Monad/TransLogicState/Class.hs
--- a/src/Control/Monad/TransLogicState/Class.hs
+++ b/src/Control/Monad/TransLogicState/Class.hs
@@ -9,7 +9,7 @@
   )
   where
 
-import Data.Typeable
+-- import Data.Typeable
 
 import Control.Monad.Identity
 -- import Control.Monad.Trans