Giulio Canti

> how what do you think of adding some documentation to bind functions? I'd rather expand the first section of https://gcanti.github.io/fp-ts/guides/purescript.html or add a new document in https://gcanti.github.io/fp-ts/guides/ related to:...

> Maybe, my work can help? I'd be glad to add some documentation for Do. :+1: :+1: :+1:

> It seems to be implemented using the native JavaScript Set, and looks to be very inefficient...I think the Map data structure here has similar problems That's right, the purpose...

If I recall correctly - `A`: just the first alphabet letter - `E`: **E**rror (for example `Either`) - `R`: not sure, **R**esource? (for example `ReaderTaskEither`). [Haskell uses `r` too](https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Reader.html) -...

@mlegenhausen what's the definition of `compare`?

> Adding `NonEmptySet` type @CYBAI what's the definition of the `NonEmptySet` type?

I mean the actual definition of `NonEmptySet` as TypeScript code. How do you represent a non empty `Set` using the type system?

The problem with branded types is that they are not offically supported by TypeScript and there's no standard solution. A general (constructive) solution would be a higher kinded data type:...

Looks like you are using `[email protected]` (where `E.either` is deprecated). You can use `E.Monad` instead

@Avaq I didn't add a monad instance to respect the original design