diff --git a/src/primitive-union.ts b/src/primitive-union.ts
index bebc727..7c6061b 100644
--- a/src/primitive-union.ts
+++ b/src/primitive-union.ts
@@ -40,11 +40,10 @@ type MustBePartial<T extends Matchable, Handled> =
 // so `Exact` restores it for the generic forms: a handler map can otherwise
 // carry keys outside `T`.
 
-// oxlint-disable typescript/unified-signatures
 // Strict returns: one common `R`. Overload order is load-bearing:
 //   #1 Handlers (first) -> the exhaustive form and the autocomplete popup
 //   #2 Fallback (last)  -> accepts a partial handler map plus a fallback
-interface MatcherStrict<T extends Matchable> {
+interface PrimitiveUnionMatcherStrict<T extends Matchable> {
     <R>(handlers: Handlers<T, R>): UnaryFn<T, R>;
     <
         R,
@@ -55,13 +54,11 @@ interface MatcherStrict<T extends Matchable> {
         fallback: Fallback<T, Handled, R>,
     ): UnaryFn<T, R>;
 }
-// oxlint-enable typescript/unified-signatures
 
 // Widened returns: the union of every handler's return type. `P` is inferred
 // from the whole handler map, whose closed constraint supplies the
 // contextual/autocomplete type.
-// oxlint-disable typescript/unified-signatures
-interface MatcherWidening<T extends Matchable> {
+interface PrimitiveUnionMatcherWidening<T extends Matchable> {
     <P extends Exact<Handlers<T, unknown>, P>>(
         handlers: P,
     ): UnaryFn<T, PatternReturns<P>>;
@@ -74,7 +71,6 @@ interface MatcherWidening<T extends Matchable> {
         fallback: Fallback<T, Handled, R>,
     ): UnaryFn<T, PatternReturns<Handled> | R>;
 }
-// oxlint-enable typescript/unified-signatures
 
 const dispatch =
     (handlers: HandlerMap, fallback?: UnaryFn<never, unknown>) =>
@@ -101,7 +97,7 @@ const dispatch =
 
 export const getPrimitiveUnionMatcher = <
     T extends Matchable,
->(): MatcherStrict<T> => dispatch;
+>(): PrimitiveUnionMatcherStrict<T> => dispatch;
 export const getPrimitiveUnionMatcherW = <
     T extends Matchable,
->(): MatcherWidening<T> => dispatch;
+>(): PrimitiveUnionMatcherWidening<T> => dispatch;
diff --git a/src/tagged-union.ts b/src/tagged-union.ts
index 69aa65b..f501cc3 100644
--- a/src/tagged-union.ts
+++ b/src/tagged-union.ts
@@ -102,13 +102,15 @@ interface TaggedUnionMatcherWidening<T extends object, K extends keyof T> {
 // The key-taking step of the curried factory. Naming it lets the factory return
 // `dispatch` directly, the tacit twin of the primitive-union factory's bare
 // `=> dispatch`.
-interface TaggedUnionMatcherFactory<T extends object> {
-    <K extends Discriminated<T>>(k: K): TaggedUnionMatcherStrict<T, K>;
-}
+type TaggedUnionMatcherFactory<T extends object> = <K extends Discriminated<T>>(
+    k: K,
+) => TaggedUnionMatcherStrict<T, K>;
 
-interface TaggedUnionMatcherWideningFactory<T extends object> {
-    <K extends Discriminated<T>>(k: K): TaggedUnionMatcherWidening<T, K>;
-}
+type TaggedUnionMatcherWideningFactory<T extends object> = <
+    K extends Discriminated<T>,
+>(
+    k: K,
+) => TaggedUnionMatcherWidening<T, K>;
 
 const dispatch =
     (k: PropertyKey) =>