diff --git a/src/UniqueLogic/ST/Example/Label.hs b/src/UniqueLogic/ST/Example/Label.hs
--- a/src/UniqueLogic/ST/Example/Label.hs
+++ b/src/UniqueLogic/ST/Example/Label.hs
@@ -15,9 +15,6 @@
 import Control.Monad.ST (ST, runST, )
 import Control.Monad (liftM2, liftM3, )
 
-import qualified Prelude as P
-import Prelude hiding (max, log)
-
 
 
 data Assign = Assign Term.Name Term.T
diff --git a/src/UniqueLogic/ST/Example/Rule.hs b/src/UniqueLogic/ST/Example/Rule.hs
--- a/src/UniqueLogic/ST/Example/Rule.hs
+++ b/src/UniqueLogic/ST/Example/Rule.hs
@@ -8,9 +8,6 @@
 import Control.Monad.ST (runST, )
 import Control.Monad (liftM4, )
 
-import qualified Prelude as P
-import Prelude hiding (max)
-
 
 {- |
 > x=1
diff --git a/src/UniqueLogic/ST/Example/Verify.hs b/src/UniqueLogic/ST/Example/Verify.hs
--- a/src/UniqueLogic/ST/Example/Verify.hs
+++ b/src/UniqueLogic/ST/Example/Verify.hs
@@ -18,9 +18,6 @@
 import Control.Monad (liftM, liftM2, ap, )
 import Control.Applicative (Applicative, pure, (<*>), )
 
-import qualified Prelude as P
-import Prelude hiding (max, log)
-
 
 
 data Assign = Assign Term.Name Term.T
diff --git a/src/UniqueLogic/ST/System.hs b/src/UniqueLogic/ST/System.hs
--- a/src/UniqueLogic/ST/System.hs
+++ b/src/UniqueLogic/ST/System.hs
@@ -194,8 +194,7 @@
    Variable w s a -> Variable w s b ->
    T w s ()
 assignment2 f (Variable _ al av) b =
-   let update =
-          varUpdate b $ fmap f $ readSTRefM av
+   let update = varUpdate b $ fmap f $ readSTRefM av
    in  lift $
        modifySTRef al (update :)
 
@@ -205,9 +204,7 @@
    Variable w s a -> Variable w s b -> Variable w s c ->
    T w s ()
 assignment3 f (Variable _ al av) (Variable _ bl bv) c =
-   let update =
-          varUpdate c $
-          liftM2 f (readSTRefM av) (readSTRefM bv)
+   let update = varUpdate c $ liftM2 f (readSTRefM av) (readSTRefM bv)
    in  lift $
        modifySTRef al (update :) >>
        modifySTRef bl (update :)
diff --git a/unique-logic.cabal b/unique-logic.cabal
--- a/unique-logic.cabal
+++ b/unique-logic.cabal
@@ -1,6 +1,6 @@
 Cabal-Version:    2.2
 Name:             unique-logic
-Version:          0.4.0.1
+Version:          0.4.0.2
 License:          BSD-3-Clause
 License-File:     LICENSE
 Author:           Henning Thielemann
@@ -60,11 +60,13 @@
     We demonstrate that in "UniqueLogic.ST.Example.Verify".
   .
   The package is purely Haskell 98.
+  .
+  For a variant using type families, see @unique-logic-tf@.
 Tested-With:       GHC==7.4.2
 Build-Type:        Simple
 
 Source-Repository this
-  Tag:         0.4.0.1
+  Tag:         0.4.0.2
   Type:        darcs
   Location:    https://hub.darcs.net/thielema/unique-logic/
 
@@ -106,7 +108,7 @@
     QuickCheck >=2.4 && <3,
     unique-logic,
     non-empty >=0.0 && <0.4,
-    semigroups >=0.1 && <1.0,
+    semigroups >=0.1 && <1,
     transformers,
     utility-ht,
     base