diff --git a/src/internals/match/Match.ts b/src/internals/match/Match.ts
index ab11a1e..0880860 100644
--- a/src/internals/match/Match.ts
+++ b/src/internals/match/Match.ts
@@ -46,4 +46,5 @@ interface ExactMatchFn extends Fn {
 export namespace Match {
   export type With<pattern, handler> = Impl.With<pattern, handler, PatternMatchFn>;
   export type WithExact<pattern, handler> = Impl.With<pattern, handler, ExactMatchFn>;
+  export type WithPredicate<predicate extends Fn, pattern, handler> = Impl.With<pattern, handler, predicate>;
 }