diff --git a/src/patterns.ts b/src/patterns.ts
index 9f04b2e..0daa17d 100644
--- a/src/patterns.ts
+++ b/src/patterns.ts
@@ -107,8 +107,9 @@ export type infer<pattern> = InvertPattern<NoInfer<pattern>, unknown>;
  * type Narrowed = P.narrow<Input, typeof Pattern>
  * //     ^? ['a', 'a' | 'b']
  */
-export type narrow<input, pattern extends Pattern<any>> = NoInfer<
-  ExtractPreciseValue<input, InvertPattern<pattern, input>>
+export type narrow<input, pattern extends Pattern<any>> = ExtractPreciseValue<
+  input,
+  InvertPattern<pattern, input>
 >;
 
 function chainable<pattern extends Matcher<any, any, any, any, any>>(
diff --git a/src/types/FindSelected.ts b/src/types/FindSelected.ts
index 6760355..c2ac5b9 100644
--- a/src/types/FindSelected.ts
+++ b/src/types/FindSelected.ts
@@ -166,4 +166,4 @@ export type FindSelected<i, p> =
   // This happens if the provided pattern didn't extend Pattern<i>,
   // Because the type checker falls back on the general `Pattern<i>` type
   // in this case.
-  NoInfer<Equal<p, Pattern<i>> extends true ? i : Selections<i, p>>;
+  Equal<p, Pattern<i>> extends true ? i : Selections<i, p>;