"Generalized fold" is better than "implicit recursion", I think.  If
no one objects, I will use this in the title.

+1

On an unrelated note, is there a way to shorten the title?

Reply via email to