Call to arms: lambda-case is stuck and needs your help

[Donn Cave]

> I think it's very helpful if lambdas start with a lambda, which to
> me suggests \case.

I'd be interested to hear that explained a little further.  To me it isn't
obvious that `case of' is `a lambda', but it's obvious enough what it is
and how it works (or would work) - it's `case' with type a -> b instead
of just b ... and really the backslash just seems to confuse the issue.
I don't remember it from discussions of this proposal in years past.

> ... But you presumably do not want \proc, because proc is the lambda.

I also wondered if `case of' could be equally well generalized to
allow for `proc of', but I would certainly have no idea.

	Donn