corecursion (recursion + co-; together_joint)
The dual to recursion, that acts on the computed result, rather than the input