Re: [Haskell-cafe] proposal: point free case expressions

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