[Haskell-cafe] Multi-pattern LambdaCase?

[Tom Ellis]

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

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

Is there some technical reason that prevents it?

Tom