How to print lambda result ?

[alex23]

On Jan 20, 10:57 pm, Tim Northover <T.P.Northo... at sms.ed.ac.uk> wrote:
> Notice that there's no actual mention of num there, it's a function that
> takes one parameter. If that parameter happens to be num it does what
> you want, but there's no way for the interpreter to know what was
> intended.

Which is why my working example explicitly passed num into the lambda,
and why my variant used a closure...