> Is there prior art to the following generalisation? Hello, that reminds me of a Profunctor - you could manipulate via Profunctor, since all arrows are Profunctors via a WrappedArrow newtype. Maybe Strong too? I forget which way round those go. Cheers