Arnaud Spiwack

I think I can put _some_ intelligible words on it, after all. Though it's not the whole story. So, here goes: The general method for deriving profunctor optics presented in...

A little bit of maths (in a Haskelly style) to expand on the previous comment. The general in the _All you need to know about Yoneda_ paper is the following....

In a [Twitter conversation](https://twitter.com/aspiwack/status/1313826262025109507) with Edward Kmett, the other days. I realised that there were some commonalities between his search for a way to compose regular optics with optics on...

Thanks @Bodigrim . I hadn't tried, but let's just say that I'm not surprised. I was sort of expecting this to happen even. I'm not 100% sure how best to...

All that being said, I'm a bit swamped right now, so I'll be slow to implement any solution.

I think [this proposal](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0371-non-magical-eq.md) would be the reason.

I didn't know about the generically package, thanks for point it out @L-as. It would have worked, but we ended up deploying our own version. in #427 . This issue...

Cc @b-mehta , you may be interested in opining.

It occurred to me that I can probably give a `Wandering` instance, as above, to the non-linear Kleisli, which is used to define unresctricted traversals. By reifying the linear traversal...

I'm guessing that we don't have to. At least not for the initial release. If we want to have an `Alternative` instance, we will have to define it on this...