[Haskell-cafe] arrow notation

[Ross Paterson]

On Thu, Feb 07, 2013 at 02:49:40PM -0800, Conal Elliott wrote:
> I make some use of arrow notation, though sadly I often have to avoid
> it because my (pseudo-)"arrows" don't have arr. I'd love to see a
> variant that has restricted expressiveness in exchange for arr-freeness.

It's hard to imagine arrow notation without arr (or at least
contravariance in the first argument of the "arrow") because forming
expressions using the local environment is so central to it.  That is,
I can't imagine what things you are trying to write in that situation.