diff --git a/src/tagged-union.ts b/src/tagged-union.ts
index 978a588..da2245e 100644
--- a/src/tagged-union.ts
+++ b/src/tagged-union.ts
@@ -64,7 +64,6 @@ type MustBePartial<T extends object, K extends keyof T, Handled> =
 // TypeScript does not apply the excess-property check to a generic constraint,
 // so `Exact` restores it for the generic forms.
 
-// 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
@@ -79,12 +78,10 @@ interface TaggedUnionMatcherStrict<T extends object, K extends keyof T> {
         fallback: Fallback<T, K, 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 TaggedUnionMatcherWidening<T extends object, K extends keyof T> {
     <P extends Exact<Handlers<T, K, unknown>, P>>(
         handlers: P,
@@ -98,7 +95,6 @@ interface TaggedUnionMatcherWidening<T extends object, K extends keyof T> {
         fallback: Fallback<T, K, Handled, R>,
     ): UnaryFn<T, PatternReturns<Handled> | R>;
 }
-// oxlint-enable typescript/unified-signatures
 
 type HandlerMap = Record<string | number, UnaryFn<never, unknown> | undefined>;