Narrowing down the type of a Match pipe

import { match, Pattern } from "ts-pattern";

const status = match(mockMessage)
  .returnType<"read-by-user" | "pending" | "optimistic">()
  .with({ id: Pattern.string.startsWith("optimistic") }, () => "optimistic")
  .with({ readAt: Pattern.nonNullable }, () => "read-by-user")
  .otherwise(() => "pending");

status; // "optimistic" | "read-by-user" | "pending"

import { Match, String, Predicate } from "effect";

const result = Match.value(mockMessage).pipe(
  Match.when({ id: String.startsWith("optimistic") }, () => "optimistic" as const),
  Match.when({ readAt: Predicate.isNotNullable }, () => "read-by-user" as const),
  Match.orElse(() => "pending" as const),
) satisfies "read-by-user" | "pending" | "optimistic";

const result = Match.value(mockMessage).pipe(
  Match.withReturnType<"optimistic" | "read-by-user" | "pending">(),
  Match.when({ id: String.startsWith("optimistic") }, () => "optimistic"),
  Match.when({ readAt: Predicate.isNotNullable }, () => "read-by-user"),
  Match.orElse(() => "pending"),
);

const result: unknown