diff --git a/Control/Concurrent/CHP/Test.hs b/Control/Concurrent/CHP/Test.hs
--- a/Control/Concurrent/CHP/Test.hs
+++ b/Control/Concurrent/CHP/Test.hs
@@ -39,7 +39,7 @@
 import Data.Unique
 import Test.HUnit (assertFailure, Test(..))
 import Test.QuickCheck (Gen, forAll)
-import Test.QuickCheck.Property (Property, Result(..), Testable(..), result, succeeded, liftIOResult)
+import Test.QuickCheck.Property (Property, Result(..), Testable(..), result, succeeded, ioProperty)
 import Text.PrettyPrint.HughesPJ
 
 import Control.Concurrent.CHP
@@ -70,7 +70,7 @@
 qcCHP' = QCCHP . liftM (second prettyPrint)
 
 qcResult :: IO (Maybe Result, Doc) -> Property
-qcResult m = liftIOResult $
+qcResult m = ioProperty $
              do (mr, t) <- m
                 case mr of
                   Just r -> return $ r { reason = reason r ++ "; trace: " ++ show t }
diff --git a/chp-plus.cabal b/chp-plus.cabal
--- a/chp-plus.cabal
+++ b/chp-plus.cabal
@@ -1,5 +1,5 @@
 Name:            chp-plus
-Version:         1.3.1
+Version:         1.3.1.1
 Synopsis:        A set of high-level concurrency utilities built on Communicating Haskell Processes
 License:         BSD3
 License-file:    LICENSE
@@ -18,9 +18,11 @@
 
 Cabal-Version:   >= 1.2.3
 Build-Type:      Simple
-Build-Depends:   base >= 3 && < 5, chp >= 2.2 && < 2.3, containers, deepseq >= 1.1 && < 1.2, extensible-exceptions >= 0.1.1.0, HUnit, pretty, QuickCheck >= 2, stm
 
-Exposed-modules: Control.Concurrent.CHP.Actions
+Library
+  Build-Depends:   base >= 3 && < 5, chp >= 2.2 && < 2.3, containers, deepseq >= 1.1, extensible-exceptions >= 0.1.1.0, HUnit, pretty, QuickCheck >= 2.7, stm
+
+  Exposed-modules: Control.Concurrent.CHP.Actions
                  Control.Concurrent.CHP.Arrow
                  Control.Concurrent.CHP.Behaviours
                  Control.Concurrent.CHP.Buffers
@@ -31,8 +33,8 @@
                  Control.Concurrent.CHP.Console
                  Control.Concurrent.CHP.Test
 
-Extensions:      CPP FlexibleInstances MultiParamTypeClasses
+  Extensions:      CPP FlexibleInstances MultiParamTypeClasses
                  ParallelListComp Rank2Types
                  ScopedTypeVariables TypeFamilies 
 
-GHC-Options:     -Wall -auto-all
+  GHC-Options:     -Wall -auto-all