moonads

Version:

Generic Monads in Typescript

4 lines (3 loc) • 89 B

text/typescript

export interface Setoid<T> { readonly equals: <S extends Setoid<T>>(s: S) => boolean }