Syaiful Bahri

Note: if two entry have same hash is doesn't mean they are equals. it just mean they are may be equals so we ask isEquals.

You made a good reason. yes, i understand your point. But here my solution if we want accept primitive value and common object. We can fallback it if the key...

static method like this maybe good for simple usage of monad, but when you do more than that, say a monad transformer then good luck for user to give correct...

@rpominov Yes, to define the monad maybe simple, but not all. If you try to define a free monad transformer, maybe to support side effecs for your dsl, then you...

Ah, i got it. I think this suggest us to move all function to static one. It's ok i think if we have both. but it would require the method...

> But this proposal suggests to not only have Representatives but also to have "fantasy-land" property on each value that contains corresponding Representative. @rpominov then how the value have "fantasy-land"...

@rpominov yes, i think i confused about the term TypeRepresentative, when i read the spec it suggest me it the constructor. ``` If a type provides a type representative, each...

that make sense now, i think this proposal want the fl methods defined on constructor, which i think just like static land, since it will not available on the instance....

@rpominov sorry, i am with @paldepind comment above and doesn't understand it even after reading your comment. but, just go with this proposal. it would make sense to see the...

@SimonRichardson maybe we should provide standard library for basic data structure? Maybe, Either are basic data structure i think. Haskell provide this on Prelude and Purescript community only use one...