[Haskell-cafe] proposal: point free case expressions

[Jonathan Daugherty]

> I think your example is ambiguous in the sense that the case cannot
> know whether it should pattern match on the entire `m a' or just on
> the value `a' pulled out of the monad . Or maybe I don't entirely
> understand your example.

You're right; it's ambiguous. :)

> With the proposed `case of' it would become something like this:
>
>   act1 >>= case of
>     ... -> actN

That would work perfectly.

-- 
  Jonathan Daugherty