[Haskell-cafe] Multi-pattern LambdaCase?

[Tom Ellis]

On Tue, Jan 27, 2015 at 12:38:25PM +0000, Tom Ellis wrote:
> Is there a particular reason that LambdaCase does not support muliple
> patterns?  Specifically I am suggesting that
> 
>     \case { pA1 pA2 pA3 -> eA, ... }
> 
> be sugar for ...  Is there some technical reason that prevents it?

Correction to my sugar:

  \freshName1 freshName2 freshName3
    -> case (freshName1, freshName2, freshName3) of { (pA1, pA2, pA3) -> eA, ... }

(or in practice probably an unboxed tuple)