Type Inference in TypeScript

type Status = Data.TaggedEnum<{
  SendError: { sendError: Error; recipient: string }
  SendSuccess: { recipient: string }
}>

declare const fn = (): Effect.Effect<Status[]> 
const why = fn().pipe(Effect.map(Array.filter((e) => e._tag === 'SendSuccess')))
/**     ^? Effect.Effect<({
    readonly _tag: "SendError";
    readonly sendError: Error;
    readonly recipient: string;
} | {
    readonly _tag: "SendSuccess";
    readonly recipient: string;
})[], never, never>
*/

type Status = Data.TaggedEnum<{
  SendError: { sendError: Error; recipient: string }
  SendSuccess: { recipient: string }
}>

declare const fn = (): Effect.Effect<Status[]> 
const why = fn().pipe(Effect.map(Array.filter((e) => e._tag === 'SendSuccess')))
/**     ^? Effect.Effect<({
    readonly _tag: "SendError";
    readonly sendError: Error;
    readonly recipient: string;
} | {
    readonly _tag: "SendSuccess";
    readonly recipient: string;
})[], never, never>
*/