Robert Fraser wrote: > fun fun $a() lazyApply(fun $a($b) f, $b x) => fun $a() => f(x); And don't forget to take your fun fun (a banger in the mouth if you get the reference :-)).