corecursively (recursively + co-; together_joint)
In a corecursive manner