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