diff --git a/predicate-transformers.cabal b/predicate-transformers.cabal
--- a/predicate-transformers.cabal
+++ b/predicate-transformers.cabal
@@ -1,7 +1,7 @@
 cabal-version:       2.4
 
 name:                predicate-transformers
-version:             0.4.0.0
+version:             0.5.0.0
 synopsis:            A library for writing predicates and transformations over predicates in Haskell
 description:
   This package provides ways to write predicates such that they compose nicely and are easy to debug.
diff --git a/src/PredicateTransformers.hs b/src/PredicateTransformers.hs
--- a/src/PredicateTransformers.hs
+++ b/src/PredicateTransformers.hs
@@ -31,7 +31,7 @@
 
 -- |Operate on the target of a prism, or fail.
 match :: APrism s t a b -> PT a s
-match p pred = right pred . matching p
+match p pred = either (const False) pred . matching p
 {-# inlinable match #-}
 
 -- |Invert a predicate.