I understand it's convenience and importance in arrow notation... but it definitely feels like too large a jump! Maybe in another 10 years we'll have the Profun

I understand it's convenience and importance in arrow notation... but it definitely feels like too large a jump! Maybe in another 10 years we'll have the Profunctor-Strong-GArrow-Arrow Proposal to fix up that superclass hierarchy. It's also worth noting that some significant component of arrow notation would survive eliminating `arr` as well as there being an "internal logic"-style syntax for GArrows I've seen somewhere or another.