diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for explainable-predicates
 
+## 0.1.2.2 -- 2021-12-20
+
+* Better error messages for HUnit integration.
+
 ## 0.1.2.1 -- 2021-12-20
 
 * Builds with GHC 9.2.1
diff --git a/explainable-predicates.cabal b/explainable-predicates.cabal
--- a/explainable-predicates.cabal
+++ b/explainable-predicates.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               explainable-predicates
-version:            0.1.2.1
+version:            0.1.2.2
 synopsis:           Predicates that can explain themselves.
 description:        Explainable predicates are essentially functions from types
                     to 'Bool' which can additionally describe themselves and
@@ -20,7 +20,7 @@
 
 extra-source-files: CHANGELOG.md
 
-tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.4 || == 9.0.1
+tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.3
 
 source-repository head
     type:     git
diff --git a/src/Test/Predicates.hs b/src/Test/Predicates.hs
--- a/src/Test/Predicates.hs
+++ b/src/Test/Predicates.hs
@@ -19,6 +19,8 @@
   ( -- * The Predicate type
     Predicate (..),
     (==~),
+    PredicateFailure (..),
+    acceptIO,
 
     -- * Predicate combinators
 
@@ -97,12 +99,13 @@
   )
 where
 
-import Control.Monad (replicateM)
+import Control.Exception (Exception, throwIO)
+import Control.Monad (replicateM, unless)
 import Data.Functor.Contravariant (Contravariant (..))
 import Data.List (intercalate)
 import Data.Maybe (isNothing)
 import Data.Typeable (Proxy (..), Typeable, cast, typeRep)
-import GHC.Stack (HasCallStack, callStack)
+import GHC.Stack (CallStack, HasCallStack, callStack, prettyCallStack)
 import Language.Haskell.TH
 import Language.Haskell.TH.Syntax (lift)
 import Test.Predicates.Internal.Util (locate, removeModNames, withLoc)
@@ -147,6 +150,18 @@
   }
 
 instance Show (Predicate a) where show = showPredicate
+
+data PredicateFailure = PredicateFailure String CallStack
+
+instance Show PredicateFailure where
+  show (PredicateFailure message cs) = message ++ "\n" ++ prettyCallStack cs
+instance Exception PredicateFailure
+
+-- | Same as 'accept', except throws a 'PredicateFailure' instead of returning a 'Bool'.
+acceptIO :: HasCallStack => Predicate a -> a -> IO ()
+acceptIO p x =
+  unless (accept p x) $
+    throwIO $ PredicateFailure (explain p x) callStack
 
 -- | An infix synonym for 'accept'.
 --
diff --git a/src/Test/Predicates/HUnit.hs b/src/Test/Predicates/HUnit.hs
--- a/src/Test/Predicates/HUnit.hs
+++ b/src/Test/Predicates/HUnit.hs
@@ -1,17 +1,15 @@
 -- | HUnit and Hspec integration for 'Predicate'
 module Test.Predicates.HUnit (assertSatisfied, (@?~), shouldSatisfy) where
 
-import Test.HUnit (Assertion, assertFailure)
-import Test.Predicates (Predicate (accept, explain))
+import GHC.Stack (HasCallStack, withFrozenCallStack)
+import Test.HUnit (Assertion)
+import Test.Predicates (Predicate, acceptIO)
 
-assertSatisfied :: Predicate a -> a -> Assertion
-assertSatisfied predicate val =
-  if accept predicate val
-    then return ()
-    else assertFailure (explain predicate val)
+assertSatisfied :: HasCallStack => Predicate a -> a -> Assertion
+assertSatisfied = withFrozenCallStack acceptIO
 
-(@?~) :: a -> Predicate a -> Assertion
-(@?~) = flip assertSatisfied
+(@?~) :: HasCallStack => a -> Predicate a -> Assertion
+(@?~) = flip (withFrozenCallStack acceptIO)
 
-shouldSatisfy :: a -> Predicate a -> Assertion
-shouldSatisfy = flip assertSatisfied
+shouldSatisfy :: HasCallStack => a -> Predicate a -> Assertion
+shouldSatisfy = flip (withFrozenCallStack acceptIO)
diff --git a/src/Test/Predicates/QuickCheck.hs b/src/Test/Predicates/QuickCheck.hs
--- a/src/Test/Predicates/QuickCheck.hs
+++ b/src/Test/Predicates/QuickCheck.hs
@@ -13,7 +13,7 @@
 -- | QuickCheck property that checks if a predicate is satisfied.
 --
 -- @
---   quickCheck $ \(Positive x) -> [0 .. x] 'satisfies' (containsAll [eq 1, eq 2])
+--   quickCheck $ \\(Positive x) -> [0 .. x] \`satisfies\` (containsAll [eq 1, eq 2])
 -- @
 --
 -- @
diff --git a/test/DocTests/Test/Predicates.hs b/test/DocTests/Test/Predicates.hs
--- a/test/DocTests/Test/Predicates.hs
+++ b/test/DocTests/Test/Predicates.hs
@@ -1,5 +1,5 @@
 -- Do not edit! Automatically created with doctest-extract from src/Test/Predicates.hs
-{-# LINE 133 "src/Test/Predicates.hs" #-}
+{-# LINE 136 "src/Test/Predicates.hs" #-}
 
 {-# OPTIONS_GHC -XLambdaCase #-}
 {-# OPTIONS_GHC -XTemplateHaskell #-}
@@ -11,949 +11,979 @@
 import Test.DocTest.Base
 import qualified Test.DocTest.Driver as DocTest
 
-{-# LINE 138 "src/Test/Predicates.hs" #-}
+{-# LINE 141 "src/Test/Predicates.hs" #-}
 
 test :: DocTest.T ()
 test = do
- DocTest.printPrefix "Test.Predicates:153: "
-{-# LINE 153 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:168: "
+{-# LINE 168 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 153 "src/Test/Predicates.hs" #-}
+{-# LINE 168 "src/Test/Predicates.hs" #-}
       (eq 1 ==~ 1)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:155: "
-{-# LINE 155 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:170: "
+{-# LINE 170 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 155 "src/Test/Predicates.hs" #-}
+{-# LINE 170 "src/Test/Predicates.hs" #-}
       (eq 2 ==~ 1)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:171: "
-{-# LINE 171 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:186: "
+{-# LINE 186 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 171 "src/Test/Predicates.hs" #-}
+{-# LINE 186 "src/Test/Predicates.hs" #-}
       (accept anything "foo")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:173: "
-{-# LINE 173 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:188: "
+{-# LINE 188 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 173 "src/Test/Predicates.hs" #-}
+{-# LINE 188 "src/Test/Predicates.hs" #-}
       (accept anything undefined)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:186: "
-{-# LINE 186 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:201: "
+{-# LINE 201 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 186 "src/Test/Predicates.hs" #-}
+{-# LINE 201 "src/Test/Predicates.hs" #-}
       (accept (eq "foo") "foo")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:188: "
-{-# LINE 188 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:203: "
+{-# LINE 203 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 188 "src/Test/Predicates.hs" #-}
+{-# LINE 203 "src/Test/Predicates.hs" #-}
       (accept (eq "foo") "bar")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:204: "
-{-# LINE 204 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:219: "
+{-# LINE 219 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 204 "src/Test/Predicates.hs" #-}
+{-# LINE 219 "src/Test/Predicates.hs" #-}
       (accept (neq "foo") "foo")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:206: "
-{-# LINE 206 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:221: "
+{-# LINE 221 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 206 "src/Test/Predicates.hs" #-}
+{-# LINE 221 "src/Test/Predicates.hs" #-}
       (accept (neq "foo") "bar")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:213: "
-{-# LINE 213 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:228: "
+{-# LINE 228 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 213 "src/Test/Predicates.hs" #-}
+{-# LINE 228 "src/Test/Predicates.hs" #-}
       (accept (gt 5) 4)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:215: "
-{-# LINE 215 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:230: "
+{-# LINE 230 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 215 "src/Test/Predicates.hs" #-}
+{-# LINE 230 "src/Test/Predicates.hs" #-}
       (accept (gt 5) 5)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:217: "
-{-# LINE 217 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:232: "
+{-# LINE 232 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 217 "src/Test/Predicates.hs" #-}
+{-# LINE 232 "src/Test/Predicates.hs" #-}
       (accept (gt 5) 6)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:231: "
-{-# LINE 231 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:246: "
+{-# LINE 246 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 231 "src/Test/Predicates.hs" #-}
+{-# LINE 246 "src/Test/Predicates.hs" #-}
       (accept (geq 5) 4)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:233: "
-{-# LINE 233 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:248: "
+{-# LINE 248 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 233 "src/Test/Predicates.hs" #-}
+{-# LINE 248 "src/Test/Predicates.hs" #-}
       (accept (geq 5) 5)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:235: "
-{-# LINE 235 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:250: "
+{-# LINE 250 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 235 "src/Test/Predicates.hs" #-}
+{-# LINE 250 "src/Test/Predicates.hs" #-}
       (accept (geq 5) 6)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:248: "
-{-# LINE 248 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:263: "
+{-# LINE 263 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 248 "src/Test/Predicates.hs" #-}
+{-# LINE 263 "src/Test/Predicates.hs" #-}
       (accept (lt 5) 4)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:250: "
-{-# LINE 250 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:265: "
+{-# LINE 265 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 250 "src/Test/Predicates.hs" #-}
+{-# LINE 265 "src/Test/Predicates.hs" #-}
       (accept (lt 5) 5)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:252: "
-{-# LINE 252 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:267: "
+{-# LINE 267 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 252 "src/Test/Predicates.hs" #-}
+{-# LINE 267 "src/Test/Predicates.hs" #-}
       (accept (lt 5) 6)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:259: "
-{-# LINE 259 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:274: "
+{-# LINE 274 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 259 "src/Test/Predicates.hs" #-}
+{-# LINE 274 "src/Test/Predicates.hs" #-}
       (accept (leq 5) 4)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:261: "
-{-# LINE 261 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:276: "
+{-# LINE 276 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 261 "src/Test/Predicates.hs" #-}
+{-# LINE 276 "src/Test/Predicates.hs" #-}
       (accept (leq 5) 5)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:263: "
-{-# LINE 263 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:278: "
+{-# LINE 278 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 263 "src/Test/Predicates.hs" #-}
+{-# LINE 278 "src/Test/Predicates.hs" #-}
       (accept (leq 5) 6)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:271: "
-{-# LINE 271 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:286: "
+{-# LINE 286 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 271 "src/Test/Predicates.hs" #-}
+{-# LINE 286 "src/Test/Predicates.hs" #-}
       (accept (just (eq "value")) Nothing)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:273: "
-{-# LINE 273 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:288: "
+{-# LINE 288 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 273 "src/Test/Predicates.hs" #-}
+{-# LINE 288 "src/Test/Predicates.hs" #-}
       (accept (just (eq "value")) (Just "value"))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:275: "
-{-# LINE 275 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:290: "
+{-# LINE 290 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 275 "src/Test/Predicates.hs" #-}
+{-# LINE 290 "src/Test/Predicates.hs" #-}
       (accept (just (eq "value")) (Just "wrong value"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:289: "
-{-# LINE 289 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:304: "
+{-# LINE 304 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 289 "src/Test/Predicates.hs" #-}
+{-# LINE 304 "src/Test/Predicates.hs" #-}
       (accept nothing Nothing)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:292: "
-{-# LINE 292 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:307: "
+{-# LINE 307 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 292 "src/Test/Predicates.hs" #-}
+{-# LINE 307 "src/Test/Predicates.hs" #-}
       (accept nothing (Just "something"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:306: "
-{-# LINE 306 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:321: "
+{-# LINE 321 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 306 "src/Test/Predicates.hs" #-}
+{-# LINE 321 "src/Test/Predicates.hs" #-}
       (accept (left (eq "value")) (Left "value"))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:308: "
-{-# LINE 308 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:323: "
+{-# LINE 323 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 308 "src/Test/Predicates.hs" #-}
+{-# LINE 323 "src/Test/Predicates.hs" #-}
       (accept (left (eq "value")) (Right "value"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:310: "
-{-# LINE 310 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:325: "
+{-# LINE 325 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 310 "src/Test/Predicates.hs" #-}
+{-# LINE 325 "src/Test/Predicates.hs" #-}
       (accept (left (eq "value")) (Left "wrong value"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:324: "
-{-# LINE 324 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:339: "
+{-# LINE 339 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 324 "src/Test/Predicates.hs" #-}
+{-# LINE 339 "src/Test/Predicates.hs" #-}
       (accept (right (eq "value")) (Right "value"))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:326: "
-{-# LINE 326 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:341: "
+{-# LINE 341 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 326 "src/Test/Predicates.hs" #-}
+{-# LINE 341 "src/Test/Predicates.hs" #-}
       (accept (right (eq "value")) (Right "wrong value"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:328: "
-{-# LINE 328 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:343: "
+{-# LINE 343 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 328 "src/Test/Predicates.hs" #-}
+{-# LINE 343 "src/Test/Predicates.hs" #-}
       (accept (right (eq "value")) (Left "value"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:342: "
-{-# LINE 342 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:357: "
+{-# LINE 357 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 342 "src/Test/Predicates.hs" #-}
+{-# LINE 357 "src/Test/Predicates.hs" #-}
       (accept (zipP (eq "foo") (eq "bar")) ("foo", "bar"))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:344: "
-{-# LINE 344 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:359: "
+{-# LINE 359 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 344 "src/Test/Predicates.hs" #-}
+{-# LINE 359 "src/Test/Predicates.hs" #-}
       (accept (zipP (eq "foo") (eq "bar")) ("bar", "foo"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:368: "
-{-# LINE 368 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:383: "
+{-# LINE 383 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 368 "src/Test/Predicates.hs" #-}
+{-# LINE 383 "src/Test/Predicates.hs" #-}
       (accept (zip3P (eq "foo") (eq "bar") (eq "qux")) ("foo", "bar", "qux"))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:370: "
-{-# LINE 370 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:385: "
+{-# LINE 385 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 370 "src/Test/Predicates.hs" #-}
+{-# LINE 385 "src/Test/Predicates.hs" #-}
       (accept (zip3P (eq "foo") (eq "bar") (eq "qux")) ("qux", "bar", "foo"))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:395: "
-{-# LINE 395 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:410: "
+{-# LINE 410 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 395 "src/Test/Predicates.hs" #-}
+{-# LINE 410 "src/Test/Predicates.hs" #-}
       (accept (zip4P (eq 1) (eq 2) (eq 3) (eq 4)) (1, 2, 3, 4))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:397: "
-{-# LINE 397 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:412: "
+{-# LINE 412 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 397 "src/Test/Predicates.hs" #-}
+{-# LINE 412 "src/Test/Predicates.hs" #-}
       (accept (zip4P (eq 1) (eq 2) (eq 3) (eq 4)) (4, 3, 2, 1))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:428: "
-{-# LINE 428 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:443: "
+{-# LINE 443 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 428 "src/Test/Predicates.hs" #-}
+{-# LINE 443 "src/Test/Predicates.hs" #-}
       (accept (zip5P (eq 1) (eq 2) (eq 3) (eq 4) (eq 5)) (1, 2, 3, 4, 5))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:430: "
-{-# LINE 430 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:445: "
+{-# LINE 445 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 430 "src/Test/Predicates.hs" #-}
+{-# LINE 445 "src/Test/Predicates.hs" #-}
       (accept (zip5P (eq 1) (eq 2) (eq 3) (eq 4) (eq 5)) (5, 4, 3, 2, 1))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:462: "
-{-# LINE 462 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:477: "
+{-# LINE 477 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 462 "src/Test/Predicates.hs" #-}
+{-# LINE 477 "src/Test/Predicates.hs" #-}
       (accept (lt "foo" `andP` gt "bar") "eta")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:464: "
-{-# LINE 464 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:479: "
+{-# LINE 479 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 464 "src/Test/Predicates.hs" #-}
+{-# LINE 479 "src/Test/Predicates.hs" #-}
       (accept (lt "foo" `andP` gt "bar") "quz")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:466: "
-{-# LINE 466 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:481: "
+{-# LINE 481 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 466 "src/Test/Predicates.hs" #-}
+{-# LINE 481 "src/Test/Predicates.hs" #-}
       (accept (lt "foo" `andP` gt "bar") "alpha")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:483: "
-{-# LINE 483 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:498: "
+{-# LINE 498 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 483 "src/Test/Predicates.hs" #-}
+{-# LINE 498 "src/Test/Predicates.hs" #-}
       (accept (lt "bar" `orP` gt "foo") "eta")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:485: "
-{-# LINE 485 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:500: "
+{-# LINE 500 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 485 "src/Test/Predicates.hs" #-}
+{-# LINE 500 "src/Test/Predicates.hs" #-}
       (accept (lt "bar" `orP` gt "foo") "quz")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:487: "
-{-# LINE 487 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:502: "
+{-# LINE 502 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 487 "src/Test/Predicates.hs" #-}
+{-# LINE 502 "src/Test/Predicates.hs" #-}
       (accept (lt "bar" `orP` gt "foo") "alpha")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:495: "
-{-# LINE 495 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:510: "
+{-# LINE 510 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 495 "src/Test/Predicates.hs" #-}
+{-# LINE 510 "src/Test/Predicates.hs" #-}
       (accept (notP (eq "negative")) "positive")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:497: "
-{-# LINE 497 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:512: "
+{-# LINE 512 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 497 "src/Test/Predicates.hs" #-}
+{-# LINE 512 "src/Test/Predicates.hs" #-}
       (accept (notP (eq "negative")) "negative")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:517: "
-{-# LINE 517 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:532: "
+{-# LINE 532 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 517 "src/Test/Predicates.hs" #-}
+{-# LINE 532 "src/Test/Predicates.hs" #-}
       (accept (matchesRegex "x{2,5}y?") "xxxy")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:519: "
-{-# LINE 519 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:534: "
+{-# LINE 534 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 519 "src/Test/Predicates.hs" #-}
+{-# LINE 534 "src/Test/Predicates.hs" #-}
       (accept (matchesRegex "x{2,5}y?") "xyy")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:521: "
-{-# LINE 521 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:536: "
+{-# LINE 536 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 521 "src/Test/Predicates.hs" #-}
+{-# LINE 536 "src/Test/Predicates.hs" #-}
       (accept (matchesRegex "x{2,5}y?") "wxxxyz")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:551: "
-{-# LINE 551 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:566: "
+{-# LINE 566 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 551 "src/Test/Predicates.hs" #-}
+{-# LINE 566 "src/Test/Predicates.hs" #-}
       (accept (matchesCaseInsensitiveRegex "x{2,5}y?") "XXXY")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:553: "
-{-# LINE 553 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:568: "
+{-# LINE 568 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 553 "src/Test/Predicates.hs" #-}
+{-# LINE 568 "src/Test/Predicates.hs" #-}
       (accept (matchesCaseInsensitiveRegex "x{2,5}y?") "XYY")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:555: "
-{-# LINE 555 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:570: "
+{-# LINE 570 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 555 "src/Test/Predicates.hs" #-}
+{-# LINE 570 "src/Test/Predicates.hs" #-}
       (accept (matchesCaseInsensitiveRegex "x{2,5}y?") "WXXXYZ")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:591: "
-{-# LINE 591 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:606: "
+{-# LINE 606 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 591 "src/Test/Predicates.hs" #-}
+{-# LINE 606 "src/Test/Predicates.hs" #-}
       (accept (containsRegex "x{2,5}y?") "xxxy")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:593: "
-{-# LINE 593 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:608: "
+{-# LINE 608 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 593 "src/Test/Predicates.hs" #-}
+{-# LINE 608 "src/Test/Predicates.hs" #-}
       (accept (containsRegex "x{2,5}y?") "xyy")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:595: "
-{-# LINE 595 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:610: "
+{-# LINE 610 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 595 "src/Test/Predicates.hs" #-}
+{-# LINE 610 "src/Test/Predicates.hs" #-}
       (accept (containsRegex "x{2,5}y?") "wxxxyz")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:619: "
-{-# LINE 619 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:634: "
+{-# LINE 634 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 619 "src/Test/Predicates.hs" #-}
+{-# LINE 634 "src/Test/Predicates.hs" #-}
       (accept (containsCaseInsensitiveRegex "x{2,5}y?") "XXXY")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:621: "
-{-# LINE 621 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:636: "
+{-# LINE 636 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 621 "src/Test/Predicates.hs" #-}
+{-# LINE 636 "src/Test/Predicates.hs" #-}
       (accept (containsCaseInsensitiveRegex "x{2,5}y?") "XYY")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:623: "
-{-# LINE 623 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:638: "
+{-# LINE 638 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 623 "src/Test/Predicates.hs" #-}
+{-# LINE 638 "src/Test/Predicates.hs" #-}
       (accept (containsCaseInsensitiveRegex "x{2,5}y?") "WXXXYZ")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:651: "
-{-# LINE 651 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:666: "
+{-# LINE 666 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 651 "src/Test/Predicates.hs" #-}
+{-# LINE 666 "src/Test/Predicates.hs" #-}
       (accept (startsWith "fun") "fungible")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:653: "
-{-# LINE 653 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:668: "
+{-# LINE 668 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 653 "src/Test/Predicates.hs" #-}
+{-# LINE 668 "src/Test/Predicates.hs" #-}
       (accept (startsWith "gib") "fungible")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:666: "
-{-# LINE 666 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:681: "
+{-# LINE 681 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 666 "src/Test/Predicates.hs" #-}
+{-# LINE 681 "src/Test/Predicates.hs" #-}
       (accept (endsWith "ow") "crossbow")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:668: "
-{-# LINE 668 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:683: "
+{-# LINE 683 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 668 "src/Test/Predicates.hs" #-}
+{-# LINE 683 "src/Test/Predicates.hs" #-}
       (accept (endsWith "ow") "trebuchet")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:682: "
-{-# LINE 682 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:697: "
+{-# LINE 697 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 682 "src/Test/Predicates.hs" #-}
+{-# LINE 697 "src/Test/Predicates.hs" #-}
       (accept (hasSubstr "i") "team")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:684: "
-{-# LINE 684 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:699: "
+{-# LINE 699 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 684 "src/Test/Predicates.hs" #-}
+{-# LINE 699 "src/Test/Predicates.hs" #-}
       (accept (hasSubstr "i") "partnership")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:698: "
-{-# LINE 698 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:713: "
+{-# LINE 713 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 698 "src/Test/Predicates.hs" #-}
+{-# LINE 713 "src/Test/Predicates.hs" #-}
       (accept (hasSubsequence [1..5]) [1, 2, 3, 4, 5])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:700: "
-{-# LINE 700 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:715: "
+{-# LINE 715 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 700 "src/Test/Predicates.hs" #-}
+{-# LINE 715 "src/Test/Predicates.hs" #-}
       (accept (hasSubsequence [1..5]) [0, 1, 0, 2, 0, 3, 0, 4, 0, 5, 0])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:702: "
-{-# LINE 702 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:717: "
+{-# LINE 717 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 702 "src/Test/Predicates.hs" #-}
+{-# LINE 717 "src/Test/Predicates.hs" #-}
       (accept (hasSubsequence [1..5]) [2, 3, 5, 7, 11])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:716: "
-{-# LINE 716 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:731: "
+{-# LINE 731 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 716 "src/Test/Predicates.hs" #-}
+{-# LINE 731 "src/Test/Predicates.hs" #-}
       (accept (caseInsensitive startsWith "foo") "FOOTBALL!")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:718: "
-{-# LINE 718 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:733: "
+{-# LINE 733 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 718 "src/Test/Predicates.hs" #-}
+{-# LINE 733 "src/Test/Predicates.hs" #-}
       (accept (caseInsensitive endsWith "ball") "soccer")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:720: "
-{-# LINE 720 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:735: "
+{-# LINE 735 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 720 "src/Test/Predicates.hs" #-}
+{-# LINE 735 "src/Test/Predicates.hs" #-}
       (accept (caseInsensitive eq "time") "TIME")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:722: "
-{-# LINE 722 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:737: "
+{-# LINE 737 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 722 "src/Test/Predicates.hs" #-}
+{-# LINE 737 "src/Test/Predicates.hs" #-}
       (accept (caseInsensitive gt "NOTHING") "everything")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:744: "
-{-# LINE 744 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:759: "
+{-# LINE 759 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 744 "src/Test/Predicates.hs" #-}
+{-# LINE 759 "src/Test/Predicates.hs" #-}
       (accept isEmpty ([] :: [Int]))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:746: "
-{-# LINE 746 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:761: "
+{-# LINE 761 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 746 "src/Test/Predicates.hs" #-}
+{-# LINE 761 "src/Test/Predicates.hs" #-}
       (accept isEmpty [1, 2, 3])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:748: "
-{-# LINE 748 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:763: "
+{-# LINE 763 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 748 "src/Test/Predicates.hs" #-}
+{-# LINE 763 "src/Test/Predicates.hs" #-}
       (accept isEmpty "")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:750: "
-{-# LINE 750 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:765: "
+{-# LINE 765 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 750 "src/Test/Predicates.hs" #-}
+{-# LINE 765 "src/Test/Predicates.hs" #-}
       (accept isEmpty "gas tank")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:763: "
-{-# LINE 763 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:778: "
+{-# LINE 778 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 763 "src/Test/Predicates.hs" #-}
+{-# LINE 778 "src/Test/Predicates.hs" #-}
       (accept nonEmpty ([] :: [Int]))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:765: "
-{-# LINE 765 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:780: "
+{-# LINE 780 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 765 "src/Test/Predicates.hs" #-}
+{-# LINE 780 "src/Test/Predicates.hs" #-}
       (accept nonEmpty [1, 2, 3])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:767: "
-{-# LINE 767 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:782: "
+{-# LINE 782 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 767 "src/Test/Predicates.hs" #-}
+{-# LINE 782 "src/Test/Predicates.hs" #-}
       (accept nonEmpty "")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:769: "
-{-# LINE 769 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:784: "
+{-# LINE 784 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 769 "src/Test/Predicates.hs" #-}
+{-# LINE 784 "src/Test/Predicates.hs" #-}
       (accept nonEmpty "gas tank")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:777: "
-{-# LINE 777 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:792: "
+{-# LINE 792 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 777 "src/Test/Predicates.hs" #-}
+{-# LINE 792 "src/Test/Predicates.hs" #-}
       (accept (sizeIs (lt 3)) ['a' .. 'f'])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:779: "
-{-# LINE 779 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:794: "
+{-# LINE 794 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 779 "src/Test/Predicates.hs" #-}
+{-# LINE 794 "src/Test/Predicates.hs" #-}
       (accept (sizeIs (lt 3)) ['a' .. 'b'])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:800: "
-{-# LINE 800 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:815: "
+{-# LINE 815 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 800 "src/Test/Predicates.hs" #-}
+{-# LINE 815 "src/Test/Predicates.hs" #-}
       (accept (elemsAre [lt 3, lt 4, lt 5]) [2, 3, 4])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:802: "
-{-# LINE 802 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:817: "
+{-# LINE 817 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 802 "src/Test/Predicates.hs" #-}
+{-# LINE 817 "src/Test/Predicates.hs" #-}
       (accept (elemsAre [lt 3, lt 4, lt 5]) [2, 3, 4, 5])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:804: "
-{-# LINE 804 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:819: "
+{-# LINE 819 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 804 "src/Test/Predicates.hs" #-}
+{-# LINE 819 "src/Test/Predicates.hs" #-}
       (accept (elemsAre [lt 3, lt 4, lt 5]) [2, 10, 4])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:836: "
-{-# LINE 836 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:851: "
+{-# LINE 851 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 836 "src/Test/Predicates.hs" #-}
+{-# LINE 851 "src/Test/Predicates.hs" #-}
       (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [1, 2, 3])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:838: "
-{-# LINE 838 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:853: "
+{-# LINE 853 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 838 "src/Test/Predicates.hs" #-}
+{-# LINE 853 "src/Test/Predicates.hs" #-}
       (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [2, 3, 1])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:840: "
-{-# LINE 840 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:855: "
+{-# LINE 855 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 840 "src/Test/Predicates.hs" #-}
+{-# LINE 855 "src/Test/Predicates.hs" #-}
       (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [1, 2, 3, 4])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:842: "
-{-# LINE 842 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:857: "
+{-# LINE 857 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 842 "src/Test/Predicates.hs" #-}
+{-# LINE 857 "src/Test/Predicates.hs" #-}
       (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [1, 3])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:889: "
-{-# LINE 889 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:904: "
+{-# LINE 904 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 889 "src/Test/Predicates.hs" #-}
+{-# LINE 904 "src/Test/Predicates.hs" #-}
       (accept (each (gt 5)) [4, 5, 6])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:891: "
-{-# LINE 891 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:906: "
+{-# LINE 906 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 891 "src/Test/Predicates.hs" #-}
+{-# LINE 906 "src/Test/Predicates.hs" #-}
       (accept (each (gt 5)) [6, 7, 8])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:893: "
-{-# LINE 893 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:908: "
+{-# LINE 908 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 893 "src/Test/Predicates.hs" #-}
+{-# LINE 908 "src/Test/Predicates.hs" #-}
       (accept (each (gt 5)) [])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:918: "
-{-# LINE 918 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:933: "
+{-# LINE 933 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 918 "src/Test/Predicates.hs" #-}
+{-# LINE 933 "src/Test/Predicates.hs" #-}
       (accept (contains (gt 5)) [3, 4, 5])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:920: "
-{-# LINE 920 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:935: "
+{-# LINE 935 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 920 "src/Test/Predicates.hs" #-}
+{-# LINE 935 "src/Test/Predicates.hs" #-}
       (accept (contains (gt 5)) [4, 5, 6])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:922: "
-{-# LINE 922 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:937: "
+{-# LINE 937 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 922 "src/Test/Predicates.hs" #-}
+{-# LINE 937 "src/Test/Predicates.hs" #-}
       (accept (contains (gt 5)) [])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:930: "
-{-# LINE 930 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:945: "
+{-# LINE 945 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 930 "src/Test/Predicates.hs" #-}
+{-# LINE 945 "src/Test/Predicates.hs" #-}
       (accept (containsAll [eq "foo", eq "bar"]) ["bar", "foo"])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:932: "
-{-# LINE 932 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:947: "
+{-# LINE 947 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 932 "src/Test/Predicates.hs" #-}
+{-# LINE 947 "src/Test/Predicates.hs" #-}
       (accept (containsAll [eq "foo", eq "bar"]) ["foo"])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:934: "
-{-# LINE 934 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:949: "
+{-# LINE 949 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 934 "src/Test/Predicates.hs" #-}
+{-# LINE 949 "src/Test/Predicates.hs" #-}
       (accept (containsAll [eq "foo", eq "bar"]) ["foo", "bar", "qux"])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:942: "
-{-# LINE 942 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:957: "
+{-# LINE 957 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 942 "src/Test/Predicates.hs" #-}
+{-# LINE 957 "src/Test/Predicates.hs" #-}
       (accept (containsAll [startsWith "f", endsWith "o"]) ["foo"])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:944: "
-{-# LINE 944 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:959: "
+{-# LINE 959 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 944 "src/Test/Predicates.hs" #-}
+{-# LINE 959 "src/Test/Predicates.hs" #-}
       (accept (contains (startsWith "f") `andP` contains (endsWith "o")) ["foo"])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:966: "
-{-# LINE 966 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:981: "
+{-# LINE 981 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 966 "src/Test/Predicates.hs" #-}
+{-# LINE 981 "src/Test/Predicates.hs" #-}
       (accept (containsOnly [eq "foo", eq "bar"]) ["foo"])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:968: "
-{-# LINE 968 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:983: "
+{-# LINE 983 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 968 "src/Test/Predicates.hs" #-}
+{-# LINE 983 "src/Test/Predicates.hs" #-}
       (accept (containsOnly [eq "foo", eq "bar"]) ["foo", "bar"])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:970: "
-{-# LINE 970 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:985: "
+{-# LINE 985 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 970 "src/Test/Predicates.hs" #-}
+{-# LINE 985 "src/Test/Predicates.hs" #-}
       (accept (containsOnly [eq "foo", eq "bar"]) ["foo", "qux"])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:977: "
-{-# LINE 977 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:992: "
+{-# LINE 992 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 977 "src/Test/Predicates.hs" #-}
+{-# LINE 992 "src/Test/Predicates.hs" #-}
       (accept (containsOnly [eq "foo", eq "bar"]) ["foo", "foo"])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:979: "
-{-# LINE 979 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:994: "
+{-# LINE 994 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 979 "src/Test/Predicates.hs" #-}
+{-# LINE 994 "src/Test/Predicates.hs" #-}
       (accept (each (eq "foo" `orP` eq "bar")) ["foo", "foo"])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1005: "
-{-# LINE 1005 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1020: "
+{-# LINE 1020 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1005 "src/Test/Predicates.hs" #-}
+{-# LINE 1020 "src/Test/Predicates.hs" #-}
       (accept (keys (each (eq "foo"))) [("foo", 5)])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1008: "
-{-# LINE 1008 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1023: "
+{-# LINE 1023 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1008 "src/Test/Predicates.hs" #-}
+{-# LINE 1023 "src/Test/Predicates.hs" #-}
       (accept (keys (each (eq "foo"))) [("foo", 5), ("bar", 6)])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1024: "
-{-# LINE 1024 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1039: "
+{-# LINE 1039 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1024 "src/Test/Predicates.hs" #-}
+{-# LINE 1039 "src/Test/Predicates.hs" #-}
       (accept (values (each (eq 5))) [("foo", 5), ("bar", 5)])
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1027: "
-{-# LINE 1027 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1042: "
+{-# LINE 1042 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1027 "src/Test/Predicates.hs" #-}
+{-# LINE 1042 "src/Test/Predicates.hs" #-}
       (accept (values (each (eq 5))) [("foo", 5), ("bar", 6)])
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1047: "
-{-# LINE 1047 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1062: "
+{-# LINE 1062 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1047 "src/Test/Predicates.hs" #-}
+{-# LINE 1062 "src/Test/Predicates.hs" #-}
       (accept (eq 1.0) (sum (replicate 100 0.01)))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1054: "
-{-# LINE 1054 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1069: "
+{-# LINE 1069 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1054 "src/Test/Predicates.hs" #-}
+{-# LINE 1069 "src/Test/Predicates.hs" #-}
       (accept (approxEq 1.0) (sum (replicate 100 0.01)))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1056: "
-{-# LINE 1056 "src/Test/Predicates.hs" #-}
- DocTest.example
-{-# LINE 1056 "src/Test/Predicates.hs" #-}
-      (accept (approxEq 1.0) (sum (replicate 100 0.009999)))
-  [ExpectedLine [LineChunk "False"]]
  DocTest.printPrefix "Test.Predicates:1071: "
 {-# LINE 1071 "src/Test/Predicates.hs" #-}
  DocTest.example
 {-# LINE 1071 "src/Test/Predicates.hs" #-}
+      (accept (approxEq 1.0) (sum (replicate 100 0.009999)))
+  [ExpectedLine [LineChunk "False"]]
+ DocTest.printPrefix "Test.Predicates:1086: "
+{-# LINE 1086 "src/Test/Predicates.hs" #-}
+ DocTest.example
+{-# LINE 1086 "src/Test/Predicates.hs" #-}
       (accept positive 1)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1074: "
-{-# LINE 1074 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1089: "
+{-# LINE 1089 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1074 "src/Test/Predicates.hs" #-}
+{-# LINE 1089 "src/Test/Predicates.hs" #-}
       (accept positive 0)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1077: "
-{-# LINE 1077 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1092: "
+{-# LINE 1092 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1077 "src/Test/Predicates.hs" #-}
+{-# LINE 1092 "src/Test/Predicates.hs" #-}
       (accept positive (-1))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1095: "
-{-# LINE 1095 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1110: "
+{-# LINE 1110 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1095 "src/Test/Predicates.hs" #-}
+{-# LINE 1110 "src/Test/Predicates.hs" #-}
       (accept negative 1)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1098: "
-{-# LINE 1098 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1113: "
+{-# LINE 1113 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1098 "src/Test/Predicates.hs" #-}
+{-# LINE 1113 "src/Test/Predicates.hs" #-}
       (accept negative 0)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1101: "
-{-# LINE 1101 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1116: "
+{-# LINE 1116 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1101 "src/Test/Predicates.hs" #-}
+{-# LINE 1116 "src/Test/Predicates.hs" #-}
       (accept negative (-1))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1120: "
-{-# LINE 1120 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1135: "
+{-# LINE 1135 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1120 "src/Test/Predicates.hs" #-}
+{-# LINE 1135 "src/Test/Predicates.hs" #-}
       (accept nonPositive 1)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1123: "
-{-# LINE 1123 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1138: "
+{-# LINE 1138 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1123 "src/Test/Predicates.hs" #-}
+{-# LINE 1138 "src/Test/Predicates.hs" #-}
       (accept nonPositive 0)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1126: "
-{-# LINE 1126 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1141: "
+{-# LINE 1141 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1126 "src/Test/Predicates.hs" #-}
+{-# LINE 1141 "src/Test/Predicates.hs" #-}
       (accept nonPositive (-1))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1134: "
-{-# LINE 1134 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1149: "
+{-# LINE 1149 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1134 "src/Test/Predicates.hs" #-}
+{-# LINE 1149 "src/Test/Predicates.hs" #-}
       (accept nonNegative 1)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1137: "
-{-# LINE 1137 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1152: "
+{-# LINE 1152 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1137 "src/Test/Predicates.hs" #-}
+{-# LINE 1152 "src/Test/Predicates.hs" #-}
       (accept nonNegative 0)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1140: "
-{-# LINE 1140 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1155: "
+{-# LINE 1155 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1140 "src/Test/Predicates.hs" #-}
+{-# LINE 1155 "src/Test/Predicates.hs" #-}
       (accept nonNegative (-1))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1147: "
-{-# LINE 1147 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1162: "
+{-# LINE 1162 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1147 "src/Test/Predicates.hs" #-}
+{-# LINE 1162 "src/Test/Predicates.hs" #-}
       (accept finite 1.0)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1149: "
-{-# LINE 1149 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1164: "
+{-# LINE 1164 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1149 "src/Test/Predicates.hs" #-}
+{-# LINE 1164 "src/Test/Predicates.hs" #-}
       (accept finite (0 / 0))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1151: "
-{-# LINE 1151 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1166: "
+{-# LINE 1166 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1151 "src/Test/Predicates.hs" #-}
+{-# LINE 1166 "src/Test/Predicates.hs" #-}
       (accept finite (1 / 0))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1169: "
-{-# LINE 1169 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1184: "
+{-# LINE 1184 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1169 "src/Test/Predicates.hs" #-}
+{-# LINE 1184 "src/Test/Predicates.hs" #-}
       (accept infinite 1.0)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1171: "
-{-# LINE 1171 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1186: "
+{-# LINE 1186 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1171 "src/Test/Predicates.hs" #-}
+{-# LINE 1186 "src/Test/Predicates.hs" #-}
       (accept infinite (0 / 0))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1173: "
-{-# LINE 1173 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1188: "
+{-# LINE 1188 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1173 "src/Test/Predicates.hs" #-}
+{-# LINE 1188 "src/Test/Predicates.hs" #-}
       (accept infinite (1 / 0))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1189: "
-{-# LINE 1189 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1204: "
+{-# LINE 1204 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1189 "src/Test/Predicates.hs" #-}
+{-# LINE 1204 "src/Test/Predicates.hs" #-}
       (accept nAn 1.0)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1191: "
-{-# LINE 1191 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1206: "
+{-# LINE 1206 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1191 "src/Test/Predicates.hs" #-}
+{-# LINE 1206 "src/Test/Predicates.hs" #-}
       (accept nAn (0 / 0))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1193: "
-{-# LINE 1193 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1208: "
+{-# LINE 1208 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1193 "src/Test/Predicates.hs" #-}
+{-# LINE 1208 "src/Test/Predicates.hs" #-}
       (accept nAn (1 / 0))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1212: "
-{-# LINE 1212 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1227: "
+{-# LINE 1227 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1212 "src/Test/Predicates.hs" #-}
+{-# LINE 1227 "src/Test/Predicates.hs" #-}
       (accept (is even) 3)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1214: "
-{-# LINE 1214 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1229: "
+{-# LINE 1229 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1214 "src/Test/Predicates.hs" #-}
+{-# LINE 1229 "src/Test/Predicates.hs" #-}
       (accept (is even) 4)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1231: "
-{-# LINE 1231 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1246: "
+{-# LINE 1246 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1231 "src/Test/Predicates.hs" #-}
+{-# LINE 1246 "src/Test/Predicates.hs" #-}
       (accept $(qIs [| even |]) 3)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1233: "
-{-# LINE 1233 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1248: "
+{-# LINE 1248 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1233 "src/Test/Predicates.hs" #-}
+{-# LINE 1248 "src/Test/Predicates.hs" #-}
       (accept $(qIs [| even |]) 4)
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1236: "
-{-# LINE 1236 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1251: "
+{-# LINE 1251 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1236 "src/Test/Predicates.hs" #-}
+{-# LINE 1251 "src/Test/Predicates.hs" #-}
       (show $(qIs [| even |]))
   [ExpectedLine [LineChunk "\"even\""]]
- DocTest.printPrefix "Test.Predicates:1256: "
-{-# LINE 1256 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1271: "
+{-# LINE 1271 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1256 "src/Test/Predicates.hs" #-}
+{-# LINE 1271 "src/Test/Predicates.hs" #-}
       (accept (with abs (gt 5)) (-6))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1258: "
-{-# LINE 1258 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1273: "
+{-# LINE 1273 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1258 "src/Test/Predicates.hs" #-}
+{-# LINE 1273 "src/Test/Predicates.hs" #-}
       (accept (with abs (gt 5)) (-5))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1260: "
-{-# LINE 1260 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1275: "
+{-# LINE 1275 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1260 "src/Test/Predicates.hs" #-}
+{-# LINE 1275 "src/Test/Predicates.hs" #-}
       (accept (with reverse (eq "olleh")) "hello")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1262: "
-{-# LINE 1262 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1277: "
+{-# LINE 1277 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1262 "src/Test/Predicates.hs" #-}
+{-# LINE 1277 "src/Test/Predicates.hs" #-}
       (accept (with reverse (eq "olleh")) "goodbye")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1288: "
-{-# LINE 1288 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1303: "
+{-# LINE 1303 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1288 "src/Test/Predicates.hs" #-}
+{-# LINE 1303 "src/Test/Predicates.hs" #-}
       (accept ($(qWith [| abs |]) (gt 5)) (-6))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1290: "
-{-# LINE 1290 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1305: "
+{-# LINE 1305 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1290 "src/Test/Predicates.hs" #-}
+{-# LINE 1305 "src/Test/Predicates.hs" #-}
       (accept ($(qWith [| abs |]) (gt 5)) (-5))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1292: "
-{-# LINE 1292 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1307: "
+{-# LINE 1307 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1292 "src/Test/Predicates.hs" #-}
+{-# LINE 1307 "src/Test/Predicates.hs" #-}
       (accept ($(qWith [| reverse |]) (eq "olleh")) "hello")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1294: "
-{-# LINE 1294 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1309: "
+{-# LINE 1309 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1294 "src/Test/Predicates.hs" #-}
+{-# LINE 1309 "src/Test/Predicates.hs" #-}
       (accept ($(qWith [| reverse |]) (eq "olleh")) "goodbye")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1297: "
-{-# LINE 1297 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1312: "
+{-# LINE 1312 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1297 "src/Test/Predicates.hs" #-}
+{-# LINE 1312 "src/Test/Predicates.hs" #-}
       (show ($(qWith [| abs |]) (gt 5)))
   [ExpectedLine [LineChunk "\"abs: > 5\""]]
- DocTest.printPrefix "Test.Predicates:1317: "
-{-# LINE 1317 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1332: "
+{-# LINE 1332 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1317 "src/Test/Predicates.hs" #-}
+{-# LINE 1332 "src/Test/Predicates.hs" #-}
       (accept (inBranch "Left" (\case {Left x -> Just x; _ -> Nothing}) positive) (Left 1))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1319: "
-{-# LINE 1319 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1334: "
+{-# LINE 1334 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1319 "src/Test/Predicates.hs" #-}
+{-# LINE 1334 "src/Test/Predicates.hs" #-}
       (accept (inBranch "Left" (\case {Left x -> Just x; _ -> Nothing}) positive) (Left 0))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1321: "
-{-# LINE 1321 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1336: "
+{-# LINE 1336 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1321 "src/Test/Predicates.hs" #-}
+{-# LINE 1336 "src/Test/Predicates.hs" #-}
       (accept (inBranch "Left" (\case {Left x -> Just x; _ -> Nothing}) positive) (Right 1))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1399: "
-{-# LINE 1399 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1353: "
+{-# LINE 1353 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1399 "src/Test/Predicates.hs" #-}
+{-# LINE 1353 "src/Test/Predicates.hs" #-}
+      (accept $(qADT 'Nothing) Nothing)
+  [ExpectedLine [LineChunk "True"]]
+ DocTest.printPrefix "Test.Predicates:1355: "
+{-# LINE 1355 "src/Test/Predicates.hs" #-}
+ DocTest.example
+{-# LINE 1355 "src/Test/Predicates.hs" #-}
+      (accept $(qADT 'Nothing) (Just 5))
+  [ExpectedLine [LineChunk "False"]]
+ DocTest.printPrefix "Test.Predicates:1357: "
+{-# LINE 1357 "src/Test/Predicates.hs" #-}
+ DocTest.example
+{-# LINE 1357 "src/Test/Predicates.hs" #-}
+      (accept ($(qADT 'Just) positive) (Just 5))
+  [ExpectedLine [LineChunk "True"]]
+ DocTest.printPrefix "Test.Predicates:1359: "
+{-# LINE 1359 "src/Test/Predicates.hs" #-}
+ DocTest.example
+{-# LINE 1359 "src/Test/Predicates.hs" #-}
+      (accept ($(qADT 'Just) positive) Nothing)
+  [ExpectedLine [LineChunk "False"]]
+ DocTest.printPrefix "Test.Predicates:1361: "
+{-# LINE 1361 "src/Test/Predicates.hs" #-}
+ DocTest.example
+{-# LINE 1361 "src/Test/Predicates.hs" #-}
+      (accept ($(qADT 'Just) positive) (Just 0))
+  [ExpectedLine [LineChunk "False"]]
+ DocTest.printPrefix "Test.Predicates:1422: "
+{-# LINE 1422 "src/Test/Predicates.hs" #-}
+ DocTest.example
+{-# LINE 1422 "src/Test/Predicates.hs" #-}
       (accept $(qMatch [p| Just (Left _) |]) Nothing)
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1401: "
-{-# LINE 1401 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1424: "
+{-# LINE 1424 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1401 "src/Test/Predicates.hs" #-}
+{-# LINE 1424 "src/Test/Predicates.hs" #-}
       (accept $(qMatch [p| Just (Left _) |]) (Just (Left 5)))
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1403: "
-{-# LINE 1403 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1426: "
+{-# LINE 1426 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1403 "src/Test/Predicates.hs" #-}
+{-# LINE 1426 "src/Test/Predicates.hs" #-}
       (accept $(qMatch [p| Just (Left _) |]) (Just (Right 5)))
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1406: "
-{-# LINE 1406 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1429: "
+{-# LINE 1429 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1406 "src/Test/Predicates.hs" #-}
+{-# LINE 1429 "src/Test/Predicates.hs" #-}
       (show $(qMatch [p| Just (Left _) |]))
   [ExpectedLine [LineChunk "\"Just (Left _)\""]]
- DocTest.printPrefix "Test.Predicates:1428: "
-{-# LINE 1428 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1451: "
+{-# LINE 1451 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1428 "src/Test/Predicates.hs" #-}
+{-# LINE 1451 "src/Test/Predicates.hs" #-}
       (accept (typed @String anything) "foo")
   [ExpectedLine [LineChunk "True"]]
- DocTest.printPrefix "Test.Predicates:1430: "
-{-# LINE 1430 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1453: "
+{-# LINE 1453 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1430 "src/Test/Predicates.hs" #-}
+{-# LINE 1453 "src/Test/Predicates.hs" #-}
       (accept (typed @String (sizeIs (gt 5))) "foo")
   [ExpectedLine [LineChunk "False"]]
- DocTest.printPrefix "Test.Predicates:1432: "
-{-# LINE 1432 "src/Test/Predicates.hs" #-}
+ DocTest.printPrefix "Test.Predicates:1455: "
+{-# LINE 1455 "src/Test/Predicates.hs" #-}
  DocTest.example
-{-# LINE 1432 "src/Test/Predicates.hs" #-}
+{-# LINE 1455 "src/Test/Predicates.hs" #-}
       (accept (typed @String anything) (42 :: Int))
   [ExpectedLine [LineChunk "False"]]