[Haskell-cafe] Call to arms: lambda-case is stuck and needs your help

[Ross Paterson]

On Fri, Jul 13, 2012 at 01:21:25PM +0100, Wolfgang Jeltsch wrote:
> I’m strongly opposed to the
> 
>     case of { ... }
> 
> syntax, because there seems to be no natural arrow expression analog of
> it.
> 
> A notation that starts with \ (like “\case”) can be carried over to
> arrow expressions by replacing the \ with proc (like in “proc case”).

Remember that there is a \ in arrow notation in addition to proc.
So one might expect any abbreviation for \x -> case x of {...}
to mean the same \ thing in arrow notation too.  If the abbreviation
contained no \, there would be no way to replace it with a proc.