Recursion scheme allowing dependencies between recursive calls (an ordered catamorphism?)

Question

I\'m interested in a higher-order way to write recursive code in which there might be dependencies between recursive calls.

As a simplified example, consider a function t