Alexandru Nedelcu

My 2¢ ... I like the current signature. Here's what I [currently have](https://github.com/funfix/funland/blob/master/packages/funland/src/chain-rec.ts): ```typescript export interface ChainRec extends Chain { chainRec(f: (next: (a: A) => C, done: (b: B) =>...

👍 on the proposal. Having modules to pass around is great, however type-class instances are meant to be *coherent* and `static-land` needs a protocol to specify what are THE type...

Ah, one small suggestion — I don't necessarily like that `static-land/canonical` should be an instance method. For one, this is because having a global, per type dictionary is what separates...

> And from the semantics perspective, using thunk would suggest that static-land/canonical may change over time. In the context of FP, in which we are, that cannot be — a...

@Avaq > But this generic lift2 has lost the ability to operate using differing instances on the same type, this in my opinion is what sets Static Land apart from...

>> You can't define a reasonable Monad interface for Fantasy Land in either TypeScript or Flow > > I always thought this is simply because of the lack of support...

No, I just described [F-bounded polymorphism](https://tpolecat.github.io/2015/04/29/f-bounds.html) and `this` makes all the difference in the world.

@Avaq to more precisely define the problem — as said above, function parameters are naturally contra-variant, whereas `this` has co-variant behavior (because of subtyping), which actually breaks types. So you...

@Avaq that's actually a pretty cool suggestion. Breaking changes shouldn't come lightly, but when they do, it's pretty cool to namespace versions IMO. Watched a cool presentation by Rich Hickey...

@rpominov if you have the energy, we can collaborate on that unified repository. I can get involved and I think we can find others as well. Somebody has to start...