Type Alias PartialEqUnary<F>

type PartialEqUnary<F> = {
    liftEq: <Lhs, Rhs = Lhs>(
        equality: (l: Lhs, r: Rhs) => boolean,
    ) => (l: Get1<F, Lhs>, r: Get1<F, Rhs>) => boolean;
}