Asad Saeeduddin

Happy to PR this if you think this makes sense and can tell me where I should put it.

Hello @jcpetruzza, thanks for looking into this. I'm not sure I follow the syntax you're using for your reasoning here: ``` Case B f ~ f X: Co B ~...

Ah, nice, sorry for being dense. I still have to do some digesting of your comment to understand why `Co b f` should be the way you wrote instead of...

@jcpetruzza Sorry about the long delay getting back to you. So to pick a random place to resume this: > But for this, IIUC, we need to define it differently....

Hi @MichaelXavier. Yes. In fact you can take your pick of `MyRecs` and `AllRecs` and derive a type isomorphic to the other. In both cases the operation to apply is...

Ah wait, it might not work for the nested records :thinking: .

The limitation as it's stated that it only works for types that are _overall_ a pure product or coproduct. But the types above have somewhat unexpected decompositions as co/products: ```...

That looks really nice @SimonMeskens, @nadameu! Could you give some info on "usage patterns" for this? E.g. what does the last parameter in `Generic` represent? I'm thinking of maybe trying...

I have three or four instances of traversable in https://github.com/masaeedu/fp/tree/wip/src/instances. See for example [arrays](https://github.com/masaeedu/fp/blob/33ef55528e8cfd4c123dad2def4865084ba45f2d/src/instances/arr/index.js#L28), [objects](https://github.com/masaeedu/fp/blob/33ef55528e8cfd4c123dad2def4865084ba45f2d/src/instances/obj/index.js#L41) and [eithers](https://github.com/masaeedu/fp/blob/33ef55528e8cfd4c123dad2def4865084ba45f2d/src/instances/either/index.js#L46) (last one is defined using `traverse` instead of `sequence`, for variety). There's also...

I don't remember what this specific issue is about either, but assuming we have various subclasses of `Profunctor` implemented, and we do a little busywork to deal with the annoying...