v4 regression: weird type inference inside of Array.every when using pipe

[OliverJAsh]

TypeScript Version: 4.0.2

Search Terms:

Code

declare function pipeWith<A, B>(a: A, ab: (a: A) => B): B;

interface None {
    readonly _tag: 'None';
}
interface Some<A> {
    readonly _tag: 'Some';
    readonly value: A;
}
type Option<A> = None | Some<A>;

declare const getOrElse: <A>(onNone: () => A) => (ma: Option<A>) => A;

declare const myOption: Option<boolean>;

[].map(() =>
    pipeWith(
        // no error ❌
        myOption,
        getOrElse(() => true),
    ),
);

[].every(() =>
    pipeWith(
        // error! ✅
        myOption,
        getOrElse(() => true),
    ),
);

Expected behavior:

Actual behavior:

Playground Link:

Related Issues:

[j-oliveras]

As a reference, some other issues about Array.every with TS 4: #40157, #40184 (first part).

[jakebailey]

This works as of 4.7: Playground Link