Roma P.

Good point about ambiguous meaning of Left and Right in chainRec. Maybe we could have some general spec that would describe APIs of sum and product types? Something like a...

> I can't think of any cases where `c` is not `t a b` This actually follows from the algebraic types algebra:  https://www.youtube.com/watch?v=iXZR1v3YN-8 So pair of functions `b ->...

We would need to have at least interface + some laws I think.

> this spec shuold just pearing/isomorphism between some Monad and some Applicative Not sure this worth adding to the spec. I can't imagine what kind of generic code we could...

Thank you for the suggestions! I agree that making `static-land/canonical` _static_ property will signal the right semantics. But this will require programming style that uses Classes, and I want static-land...

Yes, from a strictly technical perspective both locations (`x.constructor['static-land/canonical']` and `x['static-land/canonical']`) are similar. I think this is more like a messaging issue, e.g. which programming style specification promotes and which...

BTW, I think we should use `__staticLandCanonicalModule__` instead of `static-land/canonical`. Two reasons: 1. Adding "module" at the end should make code easier to understand. 2. Avoiding "-" and "/" should...

> In the context of FP, in which we are, that cannot be Right, but in JavaScript world this might still send a wrong signal. Although we could explain this...

Yeah, good question, @Avaq ! What are we trying to do here, we already have Fantasy Land that can do dynamic dispatch. I have concerns like "will it split the...

> This all seems to me like a great thing! I actually would like to see Fantasy Land itself go down this road, and hope that one day the two...