diff --git a/src/internals/match/Match.ts b/src/internals/match/Match.ts
index 057d999..87365b1 100644
--- a/src/internals/match/Match.ts
+++ b/src/internals/match/Match.ts
@@ -59,7 +59,9 @@ export namespace Match {
    *  ]>
    * ```
    */
-  export type With<pattern, handler> = pattern extends Fn ? Impl.With<never, handler, pattern> : Impl.With<pattern, handler, PatternMatchFn>;
+  export type With<pattern, handler> = pattern extends infer MatchFn extends Fn ?
+    Impl.With<never, handler, MatchFn> :
+    Impl.With<pattern, handler, PatternMatchFn>;
   /**
    * Match.WithEqual matches exactly a type with a handler.
    * The handler can be any Fn or value type.