diff --git a/event-list.cabal b/event-list.cabal
--- a/event-list.cabal
+++ b/event-list.cabal
@@ -1,10 +1,10 @@
 Name:             event-list
-Version:          0.0.10
+Version:          0.0.10.1
 License:          GPL
 License-File:     LICENSE
 Author:           Henning Thielemann <haskell@henning-thielemann.de>
 Maintainer:       Henning Thielemann <haskell@henning-thielemann.de>
-Homepage:         http://darcs.haskell.org/event-list/
+Homepage:         http://code.haskell.org/~thielema/event-list/
 Category:         Data
 Synopsis:         Event lists with relative or absolute time stamps
 Description:
@@ -21,12 +21,12 @@
 Build-Type:        Simple
 Source-Repository head
   type:     darcs
-  location: http://darcs.haskell.org/event-list/
+  location: http://code.haskell.org/~thielema/event-list/
 
 Source-Repository this
   type:     darcs
-  location: http://darcs.haskell.org/event-list/
-  tag:      0.0.10
+  location: http://code.haskell.org/~thielema/event-list/
+  tag:      0.0.10.1
 
 Flag splitBase
   description: Choose the new smaller, split-up base package.
@@ -36,11 +36,13 @@
   default:     False
 
 Library
-  Build-Depends: non-negative>=0.0 && <0.1
-  Build-Depends: transformers >=0.0.1 && <0.2
-  Build-Depends: utility-ht >=0.0.3 && <0.1
+  Build-Depends:
+    non-negative>=0.0 && <0.1,
+    transformers >=0.0.1 && <0.2,
+    utility-ht >=0.0.3 && <0.1,
+    QuickCheck >=1.1 && <3
   If flag(splitBase)
-    Build-Depends: base >= 2 && <5
+    Build-Depends: base >= 2 && <6
   Else
     Build-Depends:
       special-functors >= 1.0 && <1.1,
@@ -77,9 +79,11 @@
     Buildable:         False
 
   -- QuickCheck 1.1 has Maybe instance which we need
-  Build-Depends: QuickCheck >=1.1 && <2
+  Build-Depends:
+    QuickCheck >=1.1 && <3
   If flag(splitBase)
-    Build-Depends: random >=1.0 && <2.0
+    Build-Depends:
+      random >=1.0 && <2.0
 
   GHC-Options:      -Wall
   Hs-Source-Dirs:   src
diff --git a/src/Data/AlternatingList/List/Disparate.hs b/src/Data/AlternatingList/List/Disparate.hs
--- a/src/Data/AlternatingList/List/Disparate.hs
+++ b/src/Data/AlternatingList/List/Disparate.hs
@@ -39,7 +39,7 @@
 import Control.Applicative (Applicative, pure, )
 import Data.Monoid (Monoid, mempty, mappend, )
 
-import Test.QuickCheck (Arbitrary, arbitrary, coarbitrary)
+import Test.QuickCheck (Arbitrary, arbitrary, )
 
 import Prelude hiding
    (null, foldr, map, concat, cycle, length, take, drop, splitAt,
@@ -72,12 +72,10 @@
 instance (Arbitrary a, Arbitrary b) =>
              Arbitrary (Pair a b) where
    arbitrary = Monad.liftM2 Pair arbitrary arbitrary
-   coarbitrary = undefined
 
 instance (Arbitrary a, Arbitrary b) =>
              Arbitrary (T a b) where
    arbitrary = Monad.liftM Cons arbitrary
-   coarbitrary = undefined
 
 
 fromPairList :: [(a,b)] -> T a b
diff --git a/src/Data/AlternatingList/List/Uniform.hs b/src/Data/AlternatingList/List/Uniform.hs
--- a/src/Data/AlternatingList/List/Uniform.hs
+++ b/src/Data/AlternatingList/List/Uniform.hs
@@ -39,7 +39,7 @@
 import Control.Applicative (Applicative, pure, )
 import Data.Monoid (Monoid, mempty, mappend, )
 
-import Test.QuickCheck (Arbitrary, arbitrary, coarbitrary)
+import Test.QuickCheck (Arbitrary, arbitrary, )
 
 import Data.Tuple.HT (mapFst, mapSnd, mapPair, )
 import Data.Maybe.HT (toMaybe, )
@@ -82,7 +82,6 @@
 instance (Arbitrary a, Arbitrary b) =>
              Arbitrary (T a b) where
    arbitrary = Monad.liftM2 Cons arbitrary arbitrary
-   coarbitrary = undefined
 
 
 
diff --git a/src/Data/EventList/Relative/BodyBodyPrivate.hs b/src/Data/EventList/Relative/BodyBodyPrivate.hs
--- a/src/Data/EventList/Relative/BodyBodyPrivate.hs
+++ b/src/Data/EventList/Relative/BodyBodyPrivate.hs
@@ -13,7 +13,7 @@
 
 import qualified Control.Monad as Monad
 
-import Test.QuickCheck (Arbitrary(..))
+import Test.QuickCheck (Arbitrary(arbitrary))
 
 
 
@@ -27,7 +27,6 @@
 instance (Arbitrary time, Arbitrary body) =>
              Arbitrary (T time body) where
    arbitrary = Monad.liftM Cons arbitrary
-   coarbitrary = undefined
 
 
 infixl 5 $**
diff --git a/src/Data/EventList/Relative/BodyTimePrivate.hs b/src/Data/EventList/Relative/BodyTimePrivate.hs
--- a/src/Data/EventList/Relative/BodyTimePrivate.hs
+++ b/src/Data/EventList/Relative/BodyTimePrivate.hs
@@ -13,7 +13,7 @@
 
 import qualified Control.Monad as Monad
 
-import Test.QuickCheck (Arbitrary(..))
+import Test.QuickCheck (Arbitrary(arbitrary))
 
 
 
@@ -27,7 +27,6 @@
 instance (Arbitrary time, Arbitrary body) =>
              Arbitrary (T time body) where
    arbitrary = Monad.liftM Cons arbitrary
-   coarbitrary = undefined
 
 
 infixl 5 $*~
diff --git a/src/Data/EventList/Relative/TimeBodyPrivate.hs b/src/Data/EventList/Relative/TimeBodyPrivate.hs
--- a/src/Data/EventList/Relative/TimeBodyPrivate.hs
+++ b/src/Data/EventList/Relative/TimeBodyPrivate.hs
@@ -21,7 +21,7 @@
 
 import Data.Tuple.HT (mapSnd, )
 
-import Test.QuickCheck (Arbitrary(..))
+import Test.QuickCheck (Arbitrary(arbitrary))
 
 
 
@@ -36,7 +36,6 @@
 instance (Arbitrary time, Arbitrary body) =>
              Arbitrary (T time body) where
    arbitrary = Monad.liftM Cons arbitrary
-   coarbitrary = undefined
 
 
 infixl 5 $~*
diff --git a/src/Data/EventList/Relative/TimeTimePrivate.hs b/src/Data/EventList/Relative/TimeTimePrivate.hs
--- a/src/Data/EventList/Relative/TimeTimePrivate.hs
+++ b/src/Data/EventList/Relative/TimeTimePrivate.hs
@@ -24,7 +24,7 @@
 
 import Control.Applicative (Applicative, )
 
-import Test.QuickCheck (Arbitrary(..))
+import Test.QuickCheck (Arbitrary(arbitrary))
 
 
 
@@ -38,7 +38,6 @@
 instance (Arbitrary time, Arbitrary body) =>
              Arbitrary (T time body) where
    arbitrary = Monad.liftM Cons arbitrary
-   coarbitrary = undefined
 
 
 infixl 5 $~~
diff --git a/src/Test/Data/EventList/Absolute/BodyEnd.hs b/src/Test/Data/EventList/Absolute/BodyEnd.hs
--- a/src/Test/Data/EventList/Absolute/BodyEnd.hs
+++ b/src/Test/Data/EventList/Absolute/BodyEnd.hs
@@ -8,7 +8,7 @@
 module Test.Data.EventList.Absolute.BodyEnd (tests) where
 
 import Test.Utility
-import Test.QuickCheck (test)
+import Test.QuickCheck (quickCheck)
 
 import qualified Data.EventList.Absolute.TimeBody as AbsBody
 import qualified Data.EventList.Absolute.TimeBodyPrivate as AbsBodyPriv
@@ -278,45 +278,45 @@
 tests :: [(String, IO ())]
 tests =
    ("duration",
-     test (duration :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (duration :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("mapBody",
-     test (mapBody toUpper :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapBody toUpper :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("mapBodyM",
-     test (mapBodyMRandom :: Int -> RelBody.T TimeDiff (ArbChar, ArbChar) -> Bool)) :
+     quickCheck (mapBodyMRandom :: Int -> RelBody.T TimeDiff (ArbChar, ArbChar) -> Bool)) :
    ("filter",
-     test (\c -> filter (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filter (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("catMaybes",
-     test (catMaybes :: RelBody.T TimeDiff (Maybe ArbChar) -> Bool)) :
+     quickCheck (catMaybes :: RelBody.T TimeDiff (Maybe ArbChar) -> Bool)) :
    ("partition",
-     test (\c -> partition (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> partition (c<) :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("slice",
-     test (slice fst :: RelBody.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
+     quickCheck (slice fst :: RelBody.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
    ("collectCoincident",
-     test (collectCoincident :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincident :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentFoldr",
-     test (collectCoincidentFoldr :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentFoldr :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentNonLazy",
-     test (collectCoincidentNonLazy :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentNonLazy :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentInfinite",
-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("flatten",
-     test (flatten :: RelBody.T TimeDiff [ArbChar] -> Bool)) :
+     quickCheck (flatten :: RelBody.T TimeDiff [ArbChar] -> Bool)) :
    ("normalize",
-     test (normalize :: RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (normalize :: RelBody.T TimeDiff ArbChar -> Bool)) :
    ("merge",
-     test (merge :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (merge :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :
    ("insert",
-     test (insert :: TimeDiff -> ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insert :: TimeDiff -> ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :
    ("append",
-     test (append :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (append :: RelBody.T TimeDiff ArbChar -> RelBody.T TimeDiff ArbChar -> Bool)) :
    ("concat",
-     test (concat :: [RelBody.T TimeDiff ArbChar] -> Bool)) :
+     quickCheck (concat :: [RelBody.T TimeDiff ArbChar] -> Bool)) :
    ("decreaseStart",
-     test (decreaseStart :: TimeDiff -> TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (decreaseStart :: TimeDiff -> TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :
    ("delay",
-     test (delay :: TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (delay :: TimeDiff -> RelBody.T TimeDiff ArbChar -> Bool)) :
    ("resample",
-     test (resample :: TimeDiff -> RelBody.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :
+     quickCheck (resample :: TimeDiff -> RelBody.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :
    ("resampleInfinite",
-     test (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :
+     quickCheck (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :
    []
diff --git a/src/Test/Data/EventList/Absolute/TimeEnd.hs b/src/Test/Data/EventList/Absolute/TimeEnd.hs
--- a/src/Test/Data/EventList/Absolute/TimeEnd.hs
+++ b/src/Test/Data/EventList/Absolute/TimeEnd.hs
@@ -8,7 +8,7 @@
 module Test.Data.EventList.Absolute.TimeEnd (tests) where
 
 import Test.Utility
-import Test.QuickCheck (test)
+import Test.QuickCheck (quickCheck)
 
 import qualified Data.EventList.Absolute.TimeTime as AbsTime
 import qualified Data.EventList.Absolute.TimeTimePrivate as AbsTimePriv
@@ -255,41 +255,41 @@
 tests :: [(String, IO ())]
 tests =
    ("duration",
-     test (duration :: RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (duration :: RelTime.T TimeDiff ArbChar -> Bool)) :
    ("mapBody",
-     test (mapBody toUpper :: RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapBody toUpper :: RelTime.T TimeDiff ArbChar -> Bool)) :
    ("mapBodyM",
-     test (mapBodyMRandom :: Int -> RelTime.T TimeDiff (ArbChar, ArbChar) -> Bool)) :
+     quickCheck (mapBodyMRandom :: Int -> RelTime.T TimeDiff (ArbChar, ArbChar) -> Bool)) :
    ("filter",
-     test (\c -> filter (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filter (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :
    ("catMaybes",
-     test (catMaybes :: RelTime.T TimeDiff (Maybe ArbChar) -> Bool)) :
+     quickCheck (catMaybes :: RelTime.T TimeDiff (Maybe ArbChar) -> Bool)) :
    ("partition",
-     test (\c -> partition (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> partition (c<) :: RelTime.T TimeDiff ArbChar -> Bool)) :
    ("slice",
-     test (slice fst :: RelTime.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
+     quickCheck (slice fst :: RelTime.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
    ("collectCoincident",
-     test (collectCoincident :: RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincident :: RelTime.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentInfinite",
-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("flatten",
-     test (flatten :: RelTime.T TimeDiff [ArbChar] -> Bool)) :
+     quickCheck (flatten :: RelTime.T TimeDiff [ArbChar] -> Bool)) :
    ("normalize",
-     test (normalize :: RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (normalize :: RelTime.T TimeDiff ArbChar -> Bool)) :
    ("merge",
-     test (merge :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (merge :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :
    ("insert",
-     test (insert :: TimeDiff -> ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insert :: TimeDiff -> ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :
    ("append",
-     test (append :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (append :: RelTime.T TimeDiff ArbChar -> RelTime.T TimeDiff ArbChar -> Bool)) :
    ("concat",
-     test (concat :: [RelTime.T TimeDiff ArbChar] -> Bool)) :
+     quickCheck (concat :: [RelTime.T TimeDiff ArbChar] -> Bool)) :
    ("decreaseStart",
-     test (decreaseStart :: TimeDiff -> TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (decreaseStart :: TimeDiff -> TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :
    ("delay",
-     test (delay :: TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (delay :: TimeDiff -> RelTime.T TimeDiff ArbChar -> Bool)) :
    ("resample",
-     test (resample :: TimeDiff -> RelTime.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :
+     quickCheck (resample :: TimeDiff -> RelTime.T (TimeDiff, TimeDiff) ArbChar -> Bool)) :
    ("resampleInfinite",
-     test (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :
+     quickCheck (resampleInfinite :: TimeDiff -> NonEmptyList (TimeDiff, TimeDiff) ArbChar -> Bool)) :
    []
diff --git a/src/Test/Data/EventList/Relative/BodyEnd.hs b/src/Test/Data/EventList/Relative/BodyEnd.hs
--- a/src/Test/Data/EventList/Relative/BodyEnd.hs
+++ b/src/Test/Data/EventList/Relative/BodyEnd.hs
@@ -8,7 +8,7 @@
 module Test.Data.EventList.Relative.BodyEnd (tests) where
 
 import Test.Utility
-import Test.QuickCheck (test)
+import Test.QuickCheck (quickCheck)
 
 import qualified Data.EventList.Relative.TimeBody as TimeBodyList
 import qualified Data.EventList.Relative.TimeTime as TimeTimeList
@@ -800,209 +800,209 @@
 tests :: [(String, IO ())]
 tests =
    ("viewTimeL consTime",
-     test (viewLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("viewBodyL consBody",
-     test (viewLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :
    ("switchTimeL consTime",
-     test (switchLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchLConsTime :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("switchBodyL consBody",
-     test (switchLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchLConsBody :: BodyBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("viewLInfinite",
-     test (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("switchLInfinite",
-     test (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("consInfinite",
-     test (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("consTimeBodyInfinite",
-     test (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("snocInfinite",
-     test (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("consInfix",
-     test (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> ArbChar -> Bool)) :
+     quickCheck (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> ArbChar -> Bool)) :
 
 
    ("map body composition",
-     test (mapBodyComposition toUpper toLower
+     quickCheck (mapBodyComposition toUpper toLower
                :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("map time composition",
-     test ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))
+     quickCheck ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))
                :: TimeDiff -> TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("map time body commutative",
-     test ((\dt -> mapTimeBodyCommutative (dt+) toUpper)
+     quickCheck ((\dt -> mapTimeBodyCommutative (dt+) toUpper)
                :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("mapBodyInfinite",
-     test (mapBodyInfinite toUpper
+     quickCheck (mapBodyInfinite toUpper
                :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("mapTimeInfinite",
-     test (\dt -> mapTimeInfinite (dt+)
+     quickCheck (\dt -> mapTimeInfinite (dt+)
                :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("mapNormalize",
-     test (mapNormalize succ
+     quickCheck (mapNormalize succ
                :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("append left identity",
-     test (appendLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("append right identity",
-     test (appendRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("append associative",
-     test (appendAssociative
+     quickCheck (appendAssociative
               :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar ->
                  TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("appendCons",
-     test (appendCons :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendCons :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mapBodyAppend",
-     test (mapBodyAppend toUpper
+     quickCheck (mapBodyAppend toUpper
                :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("appendSplitAtTime",
-     test (appendSplitAtTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendSplitAtTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("appendFirstInfinite",
-     test (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("appendSecondInfinite",
-     test (appendSecondInfinite :: TimeBodyList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendSecondInfinite :: TimeBodyList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("cycleInfinite",
-     test (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("decreaseStart delay",
-     test (decreaseStartDelay :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (decreaseStartDelay :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("decreaseStartInfinite",
-     test (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("delay additive",
-     test (delayAdditive :: TimeDiff -> TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (delayAdditive :: TimeDiff -> TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("delay append pause",
-     test (delayAppendPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (delayAppendPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("delayInfinite",
-     test (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("splitAtTakeDropTime",
-     test (splitAtTakeDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (splitAtTakeDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeEndPause",
-     test (takeTimeEndPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeEndPause :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeAppendFirst",
-     test (takeTimeAppendFirst :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeAppendFirst :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeAppendSecond",
-     test (takeTimeAppendSecond :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeAppendSecond :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeNormalize",
-     test (takeTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("dropTimeNormalize",
-     test (dropTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (dropTimeNormalize :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeInfinite",
-     test (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("dropTimeInfinite",
-     test (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("duration pause",
-     test (durationPause :: TimeDiff -> Bool)) :
+     quickCheck (durationPause :: TimeDiff -> Bool)) :
    ("duration append",
-     test (durationAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("duration merge",
-     test (durationMerge :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationMerge :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("durationTakeTime",
-     test (durationTakeTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationTakeTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("durationDropTime",
-     test (durationDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationDropTime :: TimeDiff -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("filterSatisfy",
-     test (\c -> filterSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterProjection",
-     test (\c -> filterProjection (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterProjection (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterCommutative",
-     test (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterComposition",
-     test (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterNormalize",
-     test (\c -> filterNormalize (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterNormalize (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterAppend",
-     test (\c -> filterAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterDuration",
-     test (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterPartition",
-     test (\c -> filterPartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterPartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("filterInfinite",
-     test (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("catMaybesAppend",
-     test (catMaybesAppend :: TimeBodyList.T TimeDiff (Maybe ArbChar) -> TimeBodyList.T TimeDiff (Maybe ArbChar) -> Bool)) :
+     quickCheck (catMaybesAppend :: TimeBodyList.T TimeDiff (Maybe ArbChar) -> TimeBodyList.T TimeDiff (Maybe ArbChar) -> Bool)) :
 
    ("mergeNormalize",
-     test (mergeNormalize :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeNormalize :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("merge left identity",
-     test (mergeLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeLeftIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("merge right identity",
-     test (mergeRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeRightIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("merge commutative",
-     test (mergeCommutative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeCommutative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("merge associative",
-     test (mergeAssociative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeAssociative :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("merge append",
-     test (mergeAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeAppend :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mergeMap",
-     test (mergeMap succ :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeMap succ :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mergeFilter",
-     test (\c -> mergeFilter (c>)
+     quickCheck (\c -> mergeFilter (c>)
              :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mergePartition",
-     test (\c -> mergePartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> mergePartition (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mergeEitherMapMaybe",
-     test (mergeEitherMapMaybe
+     quickCheck (mergeEitherMapMaybe
          :: TimeBodyList.T TimeDiff ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mergeInfinite",
-     test (mergeInfinite
+     quickCheck (mergeInfinite
          :: NonEmptyList TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("insert commutative",
-     test (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("insert merge",
-     test (insertMerge :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertMerge :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("insertNormalize",
-     test (insertNormalize :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertNormalize :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("insertSplitAtTime",
-     test (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("insertInfinite",
-     test (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("moveForwardIdentity",
-     test (moveForwardIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (moveForwardIdentity :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("moveForwardAdditive",
-     test (moveForwardAdditive :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
+     quickCheck (moveForwardAdditive :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
    ("moveForwardCommutative",
-     test (moveForwardCommutative :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
+     quickCheck (moveForwardCommutative :: TimeBodyList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
 {-
    ("moveForwardRestricted",
-     test (moveForwardRestricted :: TimeDiff -> TimeBodyList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :
+     quickCheck (moveForwardRestricted :: TimeDiff -> TimeBodyList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :
    ("moveForwardRestrictedInfinity",
-     test (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :
+     quickCheck (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :
 -}
 
    ("spanSatisfy",
-     test (\c -> spanSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> spanSatisfy (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("spanAppend",
-     test (\c -> spanAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> spanAppend (c<) :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("spanInfinite",
-     test (\c -> spanInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> spanInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("coincidentFlatten",
-     test (coincidentFlatten :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (coincidentFlatten :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentGaps",
-     test (collectCoincidentGaps :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentGaps :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentNonEmpty",
-     test (collectCoincidentNonEmpty :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentNonEmpty :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentInfinite",
-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("mapCoincidentMap",
-     test (mapCoincidentMap toUpper :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapCoincidentMap toUpper :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mapCoincidentComposition",
-     test (mapCoincidentComposition reverse reverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapCoincidentComposition reverse reverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
    ("mapCoincidentReverse",
-     test (mapCoincidentReverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapCoincidentReverse :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("mapBodyMAppendRandom",
-     test (mapBodyMAppendRandom :: Int -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
+     quickCheck (mapBodyMAppendRandom :: Int -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> TimeBodyList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
    ("mapBodyMInfinite",
-     test (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :
+     quickCheck (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :
 
    []
diff --git a/src/Test/Data/EventList/Relative/TimeEnd.hs b/src/Test/Data/EventList/Relative/TimeEnd.hs
--- a/src/Test/Data/EventList/Relative/TimeEnd.hs
+++ b/src/Test/Data/EventList/Relative/TimeEnd.hs
@@ -8,7 +8,7 @@
 module Test.Data.EventList.Relative.TimeEnd (tests) where
 
 import Test.Utility
-import Test.QuickCheck (test)
+import Test.QuickCheck (quickCheck)
 
 import qualified Data.EventList.Relative.TimeBody as TimeBodyList
 import qualified Data.EventList.Relative.TimeTime as TimeTimeList
@@ -978,245 +978,245 @@
 tests :: [(String, IO ())]
 tests =
    ("viewTimeL consTime",
-     test (viewLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("viewBodyL consBody",
-     test (viewLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :
    ("viewTimeR snocTime",
-     test (viewRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("viewBodyR snocBody",
-     test (viewRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("viewLInfinite",
-     test (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("viewRInfinite",
-     test (viewRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (viewRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("switchTimeL consTime",
-     test (switchLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchLConsTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("switchBodyL consBody",
-     test (switchLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchLConsBody :: BodyTimeList.T TimeDiff ArbChar -> Bool)) :
    ("switchTimeR snocTime",
-     test (switchRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchRSnocTime :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("switchBodyR snocBody",
-     test (switchRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchRSnocBody :: TimeBodyList.T TimeDiff ArbChar -> Bool)) :
 
    ("switchLInfinite",
-     test (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchLInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("switchRInfinite",
-     test (switchRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (switchRInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("consInfinite",
-     test (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (consInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("consTimeBodyInfinite",
-     test (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (consTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("snocInfinite",
-     test (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (snocInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("snocTimeBodyInfinite",
-     test (snocTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (snocTimeBodyInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("consInfix",
-     test (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> TimeDiff -> ArbChar -> TimeDiff -> Bool)) :
+     quickCheck (consInfix :: TimeDiff -> ArbChar -> TimeDiff -> TimeDiff -> ArbChar -> TimeDiff -> Bool)) :
 
 
    ("map body composition",
-     test (mapBodyComposition toUpper toLower
+     quickCheck (mapBodyComposition toUpper toLower
                :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("map time composition",
-     test ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))
+     quickCheck ((\dt0 dt1 -> mapTimeComposition (dt0+) (dt1+))
                :: TimeDiff -> TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("map time body commutative",
-     test ((\dt -> mapTimeBodyCommutative (dt+) toUpper)
+     quickCheck ((\dt -> mapTimeBodyCommutative (dt+) toUpper)
                :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
 
    ("mapBodyInfinite",
-     test (mapBodyInfinite toUpper
+     quickCheck (mapBodyInfinite toUpper
                :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("mapTimeInfinite",
-     test (\dt -> mapTimeInfinite (dt+)
+     quickCheck (\dt -> mapTimeInfinite (dt+)
                :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("mapNormalize",
-     test (mapNormalize succ
+     quickCheck (mapNormalize succ
                :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
 
    ("append left identity",
-     test (appendLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("append right identity",
-     test (appendRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("append associative",
-     test (appendAssociative
+     quickCheck (appendAssociative
               :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar ->
                  TimeTimeList.T TimeDiff ArbChar -> Bool)) :
 
    ("appendCons",
-     test (appendCons :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendCons :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mapBodyAppend",
-     test (mapBodyAppend toUpper
+     quickCheck (mapBodyAppend toUpper
                :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("appendSplitAtTime",
-     test (appendSplitAtTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendSplitAtTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("appendFirstInfinite",
-     test (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendFirstInfinite :: NonEmptyList TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("appendSecondInfinite",
-     test (appendSecondInfinite :: TimeTimeList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendSecondInfinite :: TimeTimeList.T TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("concatNaive",
-     test (concatNaive :: [TimeTimeList.T TimeDiff ArbChar] -> Bool)) :
+     quickCheck (concatNaive :: [TimeTimeList.T TimeDiff ArbChar] -> Bool)) :
    ("cycleNaive",
-     test (cycleNaive :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (cycleNaive :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("cycleInfinite",
-     test (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (cycleInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("decreaseStart delay",
-     test (decreaseStartDelay :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (decreaseStartDelay :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("decreaseStartInfinite",
-     test (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (decreaseStartInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("delay additive",
-     test (delayAdditive :: TimeDiff -> TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (delayAdditive :: TimeDiff -> TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("delay pause",
-     test (delayPause :: TimeDiff -> TimeDiff -> Bool)) :
+     quickCheck (delayPause :: TimeDiff -> TimeDiff -> Bool)) :
    ("delay append pause",
-     test (delayAppendPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (delayAppendPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("delayInfinite",
-     test (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (delayInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("splitAtTakeDropTime",
-     test (splitAtTakeDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (splitAtTakeDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeEndPause",
-     test (takeTimeEndPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeEndPause :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeAppendFirst",
-     test (takeTimeAppendFirst :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeAppendFirst :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeAppendSecond",
-     test (takeTimeAppendSecond :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeAppendSecond :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeNormalize",
-     test (takeTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("dropTimeNormalize",
-     test (dropTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (dropTimeNormalize :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("takeTimeInfinite",
-     test (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (takeTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("dropTimeInfinite",
-     test (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (dropTimeInfinite :: TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("duration pause",
-     test (durationPause :: TimeDiff -> Bool)) :
+     quickCheck (durationPause :: TimeDiff -> Bool)) :
    ("duration append",
-     test (durationAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("duration merge",
-     test (durationMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("durationTakeTime",
-     test (durationTakeTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationTakeTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("durationDropTime",
-     test (durationDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (durationDropTime :: TimeDiff -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
 
    ("filterSatisfy",
-     test (\c -> filterSatisfy (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterSatisfy (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterProjection",
-     test (\c -> filterProjection (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterProjection (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterCommutative",
-     test (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c0 c1 -> filterCommutative (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterComposition",
-     test (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c0 c1 -> filterComposition (c0<) (c1>) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterNormalize",
-     test (\c -> filterNormalize (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterNormalize (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterAppend",
-     test (\c -> filterAppend (c<) :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterAppend (c<) :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterDuration",
-     test (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterDuration (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterPartition",
-     test (\c -> filterPartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterPartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("filterInfinite",
-     test (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> filterInfinite (c<) :: NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("catMaybesAppend",
-     test (catMaybesAppend :: TimeTimeList.T TimeDiff (Maybe ArbChar) -> TimeTimeList.T TimeDiff (Maybe ArbChar) -> Bool)) :
+     quickCheck (catMaybesAppend :: TimeTimeList.T TimeDiff (Maybe ArbChar) -> TimeTimeList.T TimeDiff (Maybe ArbChar) -> Bool)) :
    ("catMaybesRInfinite",
-     test (catMaybesRInfinite :: NonEmptyList TimeDiff (Maybe ArbChar) -> Bool)) :
+     quickCheck (catMaybesRInfinite :: NonEmptyList TimeDiff (Maybe ArbChar) -> Bool)) :
    ("catMaybesRInitInfinite",
-     test (catMaybesRInitInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (catMaybesRInitInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("mergeNormalize",
-     test (mergeNormalize :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeNormalize :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("merge left identity",
-     test (mergeLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeLeftIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("merge right identity",
-     test (mergeRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeRightIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("merge commutative",
-     test (mergeCommutative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeCommutative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("merge associative",
-     test (mergeAssociative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeAssociative :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("merge append",
-     test (mergeAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeAppend :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("appendByMerge",
-     test (appendByMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (appendByMerge :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mergeMap",
-     test (mergeMap succ :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mergeMap succ :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mergeFilter",
-     test (\c -> mergeFilter (c>)
+     quickCheck (\c -> mergeFilter (c>)
              :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mergePartition",
-     test (\c -> mergePartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (\c -> mergePartition (c<) :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mergeEitherMapMaybe",
-     test (mergeEitherMapMaybe
+     quickCheck (mergeEitherMapMaybe
          :: TimeTimeList.T TimeDiff ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mergeInfinite",
-     test (mergeInfinite
+     quickCheck (mergeInfinite
          :: NonEmptyList TimeDiff ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("insertCommutative",
-     test (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertCommutative :: (TimeDiff, ArbChar) -> (TimeDiff, ArbChar) -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("insertMerge",
-     test (insertMerge :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertMerge :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("insertNormalize",
-     test (insertNormalize :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertNormalize :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("insertSplitAtTime",
-     test (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertSplitAtTime :: TimeDiff -> ArbChar -> TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("insertInfinite",
-     test (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (insertInfinite :: TimeDiff -> ArbChar -> NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("moveForwardIdentity",
-     test (moveForwardIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (moveForwardIdentity :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("moveForwardAdditive",
-     test (moveForwardAdditive :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
+     quickCheck (moveForwardAdditive :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
    ("moveForwardCommutative",
-     test (moveForwardCommutative :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
+     quickCheck (moveForwardCommutative :: TimeTimeList.T TimeDiff ((TimeDiff,TimeDiff),ArbChar) -> Bool)) :
    ("moveForwardRestricted",
-     test (moveForwardRestricted :: TimeDiff -> TimeTimeList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :
+     quickCheck (moveForwardRestricted :: TimeDiff -> TimeTimeList.T TimeDiff (TimeDiff,ArbChar) -> Bool)) :
    ("moveForwardRestrictedInfinity",
-     test (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :
+     quickCheck (moveForwardRestrictedInfinity :: TimeDiff -> NonEmptyList TimeDiff (TimeDiff,ArbChar) -> Bool)) :
 
    ("arrangeSingletons",
-     test (arrangeSingletons ::
+     quickCheck (arrangeSingletons ::
         TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("arrangeDelay",
-     test (arrangeDelay ::
+     quickCheck (arrangeDelay ::
         TimeDiff -> NonEmptyList TimeDiff ArbChar -> Bool)) :
    ("arrangeSimple",
-     test (arrangeSimple ::
+     quickCheck (arrangeSimple ::
         TimeTimeList.T TimeDiff (TimeTimeList.T TimeDiff ArbChar) -> Bool)) :
    ("arrangeAbsolute",
-     test (arrangeAbsolute ::
+     quickCheck (arrangeAbsolute ::
         TimeTimeList.T TimeDiff (TimeTimeList.T TimeDiff ArbChar) -> Bool)) :
    ("arrangeInfinity",
-     test (arrangeInfinity ::
+     quickCheck (arrangeInfinity ::
         NonEmptyList TimeDiff (NonEmptyList TimeDiff ArbChar) -> Bool)) :
 
    ("coincidentFlatten",
-     test (coincidentFlatten :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (coincidentFlatten :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentGaps",
-     test (collectCoincidentGaps :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentGaps :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentNonEmpty",
-     test (collectCoincidentNonEmpty :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentNonEmpty :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("collectCoincidentInfinite",
-     test (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
+     quickCheck (collectCoincidentInfinite :: NonEmptyList TimeDiff ArbChar -> Bool)) :
 
    ("mapCoincidentMap",
-     test (mapCoincidentMap toUpper :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapCoincidentMap toUpper :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mapCoincidentComposition",
-     test (mapCoincidentComposition reverse reverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapCoincidentComposition reverse reverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
    ("mapCoincidentReverse",
-     test (mapCoincidentReverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
+     quickCheck (mapCoincidentReverse :: TimeTimeList.T TimeDiff ArbChar -> Bool)) :
 
    ("mapBodyMAppendRandom",
-     test (mapBodyMAppendRandom :: Int -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
+     quickCheck (mapBodyMAppendRandom :: Int -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> TimeTimeList.T TimeDiff (ArbChar,ArbChar) -> Bool)) :
    ("mapBodyMInfinite",
-     test (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :
+     quickCheck (mapBodyMInfinite :: Int -> NonEmptyList TimeDiff (ArbChar,ArbChar) -> Bool)) :
 
    []
diff --git a/src/Test/Utility.hs b/src/Test/Utility.hs
--- a/src/Test/Utility.hs
+++ b/src/Test/Utility.hs
@@ -2,7 +2,7 @@
 
 import qualified Numeric.NonNegative.Wrapper as NonNeg
 
-import Test.QuickCheck (Arbitrary(..))
+import Test.QuickCheck (Arbitrary(arbitrary))
 
 import qualified Data.Char as Char
 import System.Random (Random, )
@@ -17,7 +17,6 @@
 
 instance Arbitrary ArbChar where
    arbitrary = liftM (ArbChar . Char.chr . (32+) . flip mod 96) arbitrary
-   coarbitrary = undefined
 
 toLower :: ArbChar -> ArbChar
 toLower (ArbChar c) = ArbChar (Char.toLower c)
@@ -27,7 +26,7 @@
 
 
 
-type TimeDiff = NonNeg.Int
+type TimeDiff = NonNeg.Integer
 
 timeToDouble :: TimeDiff -> NonNeg.Double
 timeToDouble = fromIntegral