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
