Ailrun / typed-f

Typed functional programming utilities
MIT License
20 stars 2 forks source link

Setoid for Either and Maybe returns non-boolean values when values are not strict setoid #17

Closed Ailrun closed 5 years ago

Ailrun commented 5 years ago

Description

Suppose following code

interface X {
  equals(): number;
};

declare const x0: X;
declare const x1: X;

new Right(x0).equals(new Right(x1));

Above code will return number, which leads instances of Setoid to unsafe world.