People, I suggest case foo of {...} as a sugar for case foo of λ {...}. To define an algorithm, it is often not necessary to think of what is lambda. Regards, ------ Sergei