[Haskell-cafe] traversal with an arrow

[Tom Ellis]

On Fri, Jun 17, 2022 at 05:01:55PM +0200, Olaf Klinke wrote:
> Is there prior art to the following generalisation? 

>     traverseArrow :: Traversable t => a x y -> a (t x) (t y) 

Perhaps you are looking for this:

    https://github.com/tomjaguarpaw/Arrows2/issues/3#issuecomment-561973678